A Semantics of Realisability for the Classical Propositional Natural Deduction. - Karim Nour; Khelifa Saber (CLA, 2004)

A semantical proof of the strong normalization theorem for full propositional classical natural deduction. - Karim Nour; Khelifa Saber (Arch. Math. Log., 2006)

A completeness result for the simply typed lambdaµ-calculus. - Karim Nour; Khelifa Saber (Ann. Pure Appl. Log., 2009)

Some properties of the -calculus. - Karim Nour; Khelifa Saber (J. Appl. Non Class. Logics, 2012)