Khelifa Saber
From MaRDI portal
Person:732056
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Some properties of the \(\lambda\mu^{\wedge\vee}\)-calculus Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
| A semantics of realisability for the classical propositional natural deduction | 2013-10-02 | Paper |
| Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus | 2010-07-28 | Paper |
| A completeness result for the simply typed \(\lambda \mu \)-calculus Annals of Pure and Applied Logic | 2009-10-09 | Paper |
| A semantical proof of the strong normalization theorem for full propositional classical natural deduction Archive for Mathematical Logic | 2006-03-22 | Paper |
Research outcomes over time
This page was built for person: Khelifa Saber
