Khelifa Saber

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Topological Properties

Image Sequences

Formal Language

Top Venues

J. Appl. Non Class. Logics

Publications

Karim Nour, Khelifa Saber
Some properties of the -calculus. J. Appl. Non Class. Logics 22 (3) (2012)
Karim Nour, Khelifa Saber
A completeness result for the simply typed lambdaµ-calculus. Ann. Pure Appl. Log. 161 (1) (2009)
Karim Nour, Khelifa Saber
A semantical proof of the strong normalization theorem for full propositional classical natural deduction. Arch. Math. Log. 45 (3) (2006)
Karim Nour, Khelifa Saber
A Semantics of Realisability for the Classical Propositional Natural Deduction. Electron. Notes Theor. Comput. Sci. 140 (2005)