Karim Nour

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 5

Top Topics

Multiple Sequence Alignment

Database Query Languages

Lambda Calculus

Robust Estimation

Top Venues

Log. Methods Comput. Sci.

Math. Struct. Comput. Sci.

Publications

Péter Battyányi, Karim Nour
Normalization in the simply typed λμμ'ρθε-calculus. Math. Struct. Comput. Sci. 32 (8) (2022)
Péter Battyányi, Karim Nour
An estimation for the lengths of reduction sequences of the λμρθ-calculus. Log. Methods Comput. Sci. 14 (2) (2018)
Péter Battyányi, Karim Nour
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi. Log. Methods Comput. Sci. 13 (3) (2017)
Karim Nour, Mohamad Ziadeh
A revised completeness result for the simply typed λμ-calculus using realizability semantics. Log. Methods Comput. Sci. 13 (3) (2017)
Karim Nour, Mohamad Ziadeh
A revised completeness result for the simply typed $λμ$-calculus using realizability semantics. CoRR (2016)
René David, Karim Nour
About the range property for H. Log. Methods Comput. Sci. 10 (1) (2014)
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
On Realisability Semantics for Intersection Types with Expansion Variables. Fundam. Informaticae 121 (1-4) (2012)
Karim Nour, Khelifa Saber
Some properties of the -calculus. J. Appl. Non Class. Logics 22 (3) (2012)
René David, Karim Nour
Strong normalization results by translation. Ann. Pure Appl. Log. 161 (9) (2010)
René David, Karim Nour
Strong normalization results by translation CoRR (2009)
Karim Nour, Khelifa Saber
A completeness result for the simply typed lambdaµ-calculus. Ann. Pure Appl. Log. 161 (1) (2009)
Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. ICTAC (2008)
Fairouz Kamareddine, Karim Nour
A completeness result for a realisability semantics for an intersection type system. Ann. Pure Appl. Log. 146 (2-3) (2007)
René David, Karim Nour
-Calculus with Recursive Equations on Types. TLCA (2007)
René David, Karim Nour
Arithmetical Proofs of Strong Normalization Results for Symmetric ?-calculi. Fundam. Informaticae 77 (4) (2007)
Karim Nour, Khelifa Saber
A semantical proof of the strong normalization theorem for full propositional classical natural deduction. Arch. Math. Log. 45 (3) (2006)
René David, Karim Nour
Arithmetical Proofs of Strong Normalization Results for the Symmetric lambda-µ-Calculus. TLCA (2005)
René David, Karim Nour
-calculus. Electron. Notes Theor. Comput. Sci. 140 (2005)
Karim Nour, Khelifa Saber
A Semantics of Realisability for the Classical Propositional Natural Deduction. Electron. Notes Theor. Comput. Sci. 140 (2005)
René David, Karim Nour
A short proof of the strong normalization of classical natural deduction with disjunction. J. Symb. Log. 68 (4) (2003)
Karim Nour, Christophe Raffalli
Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic. Theor. Comput. Sci. 308 (1-3) (2003)
Samir Farkh, Karim Nour
Complete types in an extension of the system AF2. J. Appl. Non Class. Logics 13 (1) (2003)
Karim Nour, Abir Nour
Propositional mixed logic: its syntax and semantics. J. Appl. Non Class. Logics 13 (3-4) (2003)
Karim Nour
-calculus. Math. Log. Q. 48 (3) (2002)
Karim Nour
. RAIRO Theor. Informatics Appl. 35 (3) (2001)
Samir Farkh, Karim Nour
. RAIRO Theor. Informatics Appl. 35 (3) (2001)
Karim Nour
Mixed logic and storage operators. Arch. Math. Log. 39 (4) (2000)
Karim Nour
S-Storage Operators. Math. Log. Q. 44 (1998)
Samir Farkh, Karim Nour
2. RAIRO Theor. Informatics Appl. 31 (6) (1997)
Karim Nour
A Conjecture on Numeral Systems. Notre Dame J. Formal Log. 38 (2) (1997)
Karim Nour
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés. RAIRO Theor. Informatics Appl. 31 (6) (1997)
Karim Nour
La valeur d'un entier classique en lm\lambda\mu-calcul. Arch. Math. Log. 36 (6) (1997)
René David, Karim Nour
A Syntactical Proof of the Operational Equivalence of Two Lambda-Terms. Theor. Comput. Sci. 180 (1-2) (1997)
Karim Nour
Storage Operators and ∀-positive Types in TTR Type System. Math. Log. Q. 42 (1996)
Karim Nour
Opérateurs de mise en mémoire et types forall-positifs. RAIRO Theor. Informatics Appl. 30 (3) (1996)
Karim Nour
A General Type for Storage Operators. Math. Log. Q. 41 (1995)
Karim Nour
-calcul. RAIRO Theor. Informatics Appl. 29 (4) (1995)
Karim Nour
Strong storage operators and data types. Arch. Math. Log. 34 (1) (1995)
René David, Karim Nour
Storage Operators and Directed Lambda-Calculus. J. Symb. Log. 60 (4) (1995)