Opérateurs de mise en mémoire et types ∀-positifs
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 30 (1996) no. 3, pp. 261-293. 
@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},
     pages = {261--293},
     publisher = {EDP-Sciences},
     volume = {30},
     number = {3},
     year = {1996},
     mrnumber = {1415831},
     zbl = {0869.03009},
     language = {fr},
     url = {http://archive.numdam.org/item/ITA_1996__30_3_261_0/}
}
TY  - JOUR
AU  - Nour, Karim
TI  - Opérateurs de mise en mémoire et types $\forall $-positifs
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1996
SP  - 261
EP  - 293
VL  - 30
IS  - 3
PB  - EDP-Sciences
UR  - http://archive.numdam.org/item/ITA_1996__30_3_261_0/
LA  - fr
ID  - ITA_1996__30_3_261_0
ER  - 
%0 Journal Article
%A Nour, Karim
%T Opérateurs de mise en mémoire et types $\forall $-positifs
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1996
%P 261-293
%V 30
%N 3
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1996__30_3_261_0/
%G fr
%F 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) no. 3, pp. 261-293. http://archive.numdam.org/item/ITA_1996__30_3_261_0/

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

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

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 | Zbl

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

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 | Zbl

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 | Zbl

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

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 | Zbl

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