Opérateurs de mise en mémoire et types ∀-positifs
Nour, Karim
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 30 (1996), p. 261-293 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@article{ITA_1996__30_3_261_0,
     author = {Nour, Karim},
     title = {Op\'erateurs de mise en m\'emoire et types $\forall $-positifs},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {30},
     year = {1996},
     pages = {261-293},
     mrnumber = {1415831},
     zbl = {0869.03009},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1996__30_3_261_0}
}

Nour, Karim. Opérateurs de mise en mémoire et types $\forall $-positifs. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 30 (1996) pp. 261-293. http://gdmltest.u-ga.fr/item/ITA_1996__30_3_261_0/

1. H. Barendregt, The lambda calculus: Its Syntax and Semantics, North Holland, 1984. | MR 774952 | Zbl 0551.03007

2. J. Y. Girard, Y. Lafont et P. Taylor, Proofs and types, Cambridge University Press, 1986. | MR 1003608 | Zbl 0671.68002

3. P. Giannini et S. Ronchi Della Rocca. Characterization of typing in polymorphic type discipline. LICS, Edimbourg, 1988, p. 61-70.

4. J.-L. Krivine, Lambda calcul, évaluation paresseuse et mise en mémoire, Informatique Théorique et Application, 1991, 25, 1, p. 67-84. | Numdam | MR 1104412 | Zbl 0717.03003

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

6. J.-L. Krivine, Opérateurs de mise en mémoire et traduction de Gödel, Archive for Mathematical Logic, 1990, 30, p. 241-267. | MR 1080590 | Zbl 0712.03009

7. J.-L. Krivine, Mise en mémoire (preuve générale). Manuscrit, 1991.

8. R. Labib-Sami. Typer avec (ou sans) types auxilières, Manuscrit, 1986.

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

10. K. Nour, Opérateurs propres de mise en mémoire, C. R. Acad. Sci., 1993, 317, Série I, p. 1-6. | MR 1228953 | Zbl 0788.03015

11. K. Nour, Strong storage operators and data types, Archive for Mathematical Logic, 1995 34, p. 65-78. | MR 1326890 | Zbl 0818.03004

12. K. Nour, Preuve syntaxique d'un théorème de J.-L. Krivine sur les opérateurs de mise en mémoire, C. R. Acad. Sci., 1994, 318, Série I, p. 201-204. | MR 1262895 | Zbl 0792.03010

13. K. Nour et R. David, Storage operators and directed lambda-calculus, Journal of Symbolic Logic, 1995, 60, n° 4, p. 1054-1086. | MR 1367196 | Zbl 0852.03007