Entiers intuitionnistes et entiers classiques en -calcul
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1995)
- Volume: 29, Issue: 4, page 293-313
- ISSN: 0988-3754
Access Full Article
top
How to cite
topNour, K.. "Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 29.4 (1995): 293-313. <http://eudml.org/doc/92511>.
@article{Nour1995,
author = {Nour, K.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {operational characterization of classical integers},
language = {fre},
number = {4},
pages = {293-313},
publisher = {EDP-Sciences},
title = {Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul},
url = {http://eudml.org/doc/92511},
volume = {29},
year = {1995},
}
TY - JOUR
AU - Nour, K.
TI - Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1995
PB - EDP-Sciences
VL - 29
IS - 4
SP - 293
EP - 313
LA - fre
KW - operational characterization of classical integers
UR - http://eudml.org/doc/92511
ER -
References
top- 1. J. L. KRIVINE, Lambda calcul, types et modèle, Masson, Paris, 1990. Zbl0697.03004MR1162977
- 2. J. L. KRIVINE, Classical logic, storage operators and second order lambda-calculus, à paraître dans Annals of pure and applied logic, 1994. Zbl0814.03009MR1278549
- 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. Zbl0830.03006MR1320367
- 6. M. PARIGOT, λμ-calculus: an algorithme interpretation of classical natural deduction. LNCS, 1992, 624, p. 190-201. Zbl0925.03092MR1235373
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.