Khelifa Saber (LAMA)

Identifiers

• name variant Khelifa Saber (LAMA) 0.60 · backfill

Papers (4)

1. A semantics of realisability for the classical propositional natural deduction math.LO · 2009 · author #2
2. Confluency property of the call-by-value $\lambda\mu^{\wedge \vee}$-calculus math.LO · 2009 · author #2
3. A semantical proof of the strong normalization theorem for full propositional classical natural deduction math.LO · 2009 · author #2
4. A completeness result for the simply typed $\lambda\mu$-calculus math.LO · 2009 · author #2

Mentions

• 0905.1555 #2 · backfill · confidence 0.70 Khelifa Saber (LAMA)
• 0905.1102 #2 · backfill · confidence 0.70 Khelifa Saber (LAMA)
• 0905.0358 #2 · backfill · confidence 0.70 Khelifa Saber (LAMA)
• 0905.0357 #2 · backfill · confidence 0.70 Khelifa Saber (LAMA)

Frequent Coauthors

• Karim Nour (LAMA) 4 shared papers