Karim Nour

39 papers C 1Journal 34Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Normalization in the simply typed λμμ'ρθε-calculus.
Math. Struct. Comput. Sci.
Péter Battyányi, Karim Nour
2018 J jnl
An estimation for the lengths of reduction sequences of the λμρθ-calculus.
Log. Methods Comput. Sci.
Péter Battyányi, Karim Nour
2017 J jnl
A revised completeness result for the simply typed λμ-calculus using realizability semantics.
Log. Methods Comput. Sci.
Karim Nour, Mohamad Ziadeh
2017 J jnl
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi.
Log. Methods Comput. Sci.
Péter Battyányi, Karim Nour
2016 J jnl
A revised completeness result for the simply typed $λμ$-calculus using realizability semantics.
CoRR
Karim Nour, Mohamad Ziadeh
2014 J jnl
About the range property for H.
Log. Methods Comput. Sci.
René David, Karim Nour
2012 J jnl
On Realisability Semantics for Intersection Types with Expansion Variables.
Fundam. Informaticae
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
2012 J jnl
Some properties of the -calculus.
J. Appl. Non Class. Logics
Karim Nour, Khelifa Saber
2010 J jnl
Strong normalization results by translation.
Ann. Pure Appl. Log.
René David, Karim Nour
2009 J jnl
A completeness result for the simply typed lambdaµ-calculus.
Ann. Pure Appl. Log.
Karim Nour, Khelifa Saber
2009 J jnl
Strong normalization results by translation
CoRR
René David, Karim Nour
2008 C conf
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables.
ICTAC
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
2007 J jnl
A completeness result for a realisability semantics for an intersection type system.
Ann. Pure Appl. Log.
Fairouz Kamareddine, Karim Nour
2007 — conf
An Arithmetical Proof of the Strong Normalization for the
TLCA
René David, Karim Nour
2007 J jnl
Arithmetical Proofs of Strong Normalization Results for Symmetric ?-calculi.
Fundam. Informaticae
René David, Karim Nour
2006 J jnl
A semantical proof of the strong normalization theorem for full propositional classical natural deduction.
Arch. Math. Log.
Karim Nour, Khelifa Saber
2005 — conf
Arithmetical Proofs of Strong Normalization Results for the Symmetric lambda-µ-Calculus.
TLCA
René David, Karim Nour
2004 — conf
A Semantics of Realisability for the Classical Propositional Natural Deduction.
CLA
Karim Nour, Khelifa Saber
2004 — conf
Why the Usual Candidates of Reducibility Do Not Work for the Symmetric
CLA
René David, Karim Nour
2003 J jnl
A short proof of the strong normalization of classical natural deduction with disjunction.
J. Symb. Log.
René David, Karim Nour
2003 J jnl
Complete types in an extension of the system AF2.
J. Appl. Non Class. Logics
Samir Farkh, Karim Nour
2003 J jnl
Propositional mixed logic: its syntax and semantics.
J. Appl. Non Class. Logics
Karim Nour, Abir Nour
2003 J jnl
Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic.
Theor. Comput. Sci.
Karim Nour, Christophe Raffalli
2002 J jnl
Non Deterministic Classical Logic: The lambda-mu
Math. Log. Q.
Karim Nour
2001 J jnl
Les
RAIRO Theor. Informatics Appl.
Karim Nour
2001 J jnl
Les types de données syntaxiques du système
RAIRO Theor. Informatics Appl.
Samir Farkh, Karim Nour
2000 J jnl
Mixed logic and storage operators.
Arch. Math. Log.
Karim Nour
1998 J jnl
S-Storage Operators.
Math. Log. Q.
Karim Nour
1997 J jnl
A Conjecture on Numeral Systems.
Notre Dame J. Formal Log.
Karim Nour
1997 J jnl
A Syntactical Proof of the Operational Equivalence of Two Lambda-Terms.
Theor. Comput. Sci.
René David, Karim Nour
1997 J jnl
La valeur d'un entier classique en lm\lambda\mu-calcul.
Arch. Math. Log.
Karim Nour
1997 J jnl
Résultats de complétude pour des classes de types du système
RAIRO Theor. Informatics Appl.
Samir Farkh, Karim Nour
1997 J jnl
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés.
RAIRO Theor. Informatics Appl.
Karim Nour
1996 J jnl
Opérateurs de mise en mémoire et types forall-positifs.
RAIRO Theor. Informatics Appl.
Karim Nour
1996 J jnl
Storage Operators and ∀-positive Types in TTR Type System.
Math. Log. Q.
Karim Nour
1995 J jnl
A General Type for Storage Operators.
Math. Log. Q.
Karim Nour
1995 J jnl
Entiers intuitionnistes et entiers classiques en lambda
RAIRO Theor. Informatics Appl.
Karim Nour
1995 J jnl
Storage Operators and Directed Lambda-Calculus.
J. Symb. Log.
René David, Karim Nour
1995 J jnl
Strong storage operators and data types.
Arch. Math. Log.
Karim Nour