@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}, pages = {293--313}, publisher = {EDP-Sciences}, volume = {29}, number = {4}, year = {1995}, mrnumber = {1359055}, zbl = {0838.68062}, language = {fr}, url = {http://www.numdam.org/item/ITA_1995__29_4_293_0/} }
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 SP - 293 EP - 313 VL - 29 IS - 4 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1995__29_4_293_0/ LA - fr ID - ITA_1995__29_4_293_0 ER -
%0 Journal Article %A Nour, K. %T Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1995 %P 293-313 %V 29 %N 4 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1995__29_4_293_0/ %G fr %F 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) no. 4, pp. 293-313. http://www.numdam.org/item/ITA_1995__29_4_293_0/
1. Lambda calcul, types et modèle, Masson, Paris, 1990. | MR | Zbl
,2. Classical logic, storage operators and second order lambda-calculus, à paraître dans Annals of pure and applied logic, 1994. | MR | Zbl
,3. Opérateurs de mise en mémoire en lambda-calcul pur et typé, Thèse de doctorat, Université de Savoie, 1993.
,4. Opérateurs de mise en mémoire et types ∀-positifs, soumis à Informatique Théorique et Applications, 1993.
,5. Quelques résultats sur λ C-calcul, C. R. Acad. Sci., Paris, t. 320, série I, 1995, p. 259-262. | MR | Zbl
,6. λμ-calculus: an algorithme interpretation of classical natural deduction. LNCS, 1992, 624, p. 190-201. | MR | Zbl
,