Entiers intuitionnistes et entiers classiques en λC-calcul
Nour, K.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995), p. 293-313 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1995-01-01
@article{ITA_1995__29_4_293_0,
     author = {Nour, K.},
     title = {Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {29},
     year = {1995},
     pages = {293-313},
     mrnumber = {1359055},
     zbl = {0838.68062},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1995__29_4_293_0}
}

Nour, K. Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995) pp. 293-313. http://gdmltest.u-ga.fr/item/ITA_1995__29_4_293_0/

1. J. L. Krivine, Lambda calcul, types et modèle, Masson, Paris, 1990. | MR 1162977 | Zbl 0697.03004

2. J. L. Krivine, Classical logic, storage operators and second order lambda-calculus, à paraître dans Annals of pure and applied logic, 1994. | MR 1278549 | Zbl 0814.03009

3. K. Nour, Opérateurs de mise en mémoire en lambda-calcul pur et typé, Thèse de doctorat, Université de Savoie, 1993.

4. K. Nour, Opérateurs de mise en mémoire et types ∀-positifs, soumis à Informatique Théorique et Applications, 1993.

5. K. Nour, Quelques résultats sur λ C-calcul, C. R. Acad. Sci., Paris, t. 320, série I, 1995, p. 259-262. | MR 1320367 | Zbl 0830.03006

6. M. Parigot, λμ-calculus: an algorithme interpretation of classical natural deduction. LNCS, 1992, 624, p. 190-201. | MR 1235373 | Zbl 0925.03092