Khelifa Saber

From MaRDI portal
Person:732056

Available identifiers

zbMath Open saber.khelifaMaRDI QIDQ732056

List of research outcomes





PublicationDate of PublicationType
Some properties of the \(\lambda\mu^{\wedge\vee}\)-calculus2018-08-28Paper
A semantics of realisability for the classical propositional natural deduction2013-10-02Paper
Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus2010-07-28Paper
A completeness result for the simply typed \(\lambda \mu \)-calculus2009-10-09Paper
A semantical proof of the strong normalization theorem for full propositional classical natural deduction2006-03-22Paper

Research outcomes over time

This page was built for person: Khelifa Saber

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:732056&oldid=7108682"
Powered by MediaWiki