Khelifa Saber

According to our database, Khelifa Saber authored at least 4 papers between 2004 and 2012.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2012

Some properties of the -calculus.

Karim Nour, Khelifa Saber

J. Appl. Non Class. Logics, 2012

2009

A completeness result for the simply typed lambdaµ-calculus.

Karim Nour, Khelifa Saber

Ann. Pure Appl. Log., 2009

2006

A semantical proof of the strong normalization theorem for full propositional classical natural deduction.

Karim Nour, Khelifa Saber

Arch. Math. Log., 2006

2004

A Semantics of Realisability for the Classical Propositional Natural Deduction.

Karim Nour, Khelifa Saber

Proceedings of the Second Workshop on Computational Logic and Applications, 2004