no. 1
Lambda-calcul, évaluation paresseuse et mise en mémoire
RAIRO. Informatique théorique et applications, Tome 25 (1991) no. 1, pp. 67-84 
@article{ITA_1991__25_1_67_0,
     author = {Krivine, Jean-Louis},
     title = {Lambda-calcul, \'evaluation paresseuse et mise en m\'emoire},
     journal = {RAIRO. Informatique th\'eorique et applications},
     pages = {67--84},
     year = {1991},
     publisher = {EDP-Sciences},
     volume = {25},
     number = {1},
     mrnumber = {1104412},
     zbl = {0717.03003},
     language = {fr},
     url = {https://www.numdam.org/item/ITA_1991__25_1_67_0/}
}
TY  - JOUR
AU  - Krivine, Jean-Louis
TI  - Lambda-calcul, évaluation paresseuse et mise en mémoire
JO  - RAIRO. Informatique théorique et applications
PY  - 1991
SP  - 67
EP  - 84
VL  - 25
IS  - 1
PB  - EDP-Sciences
UR  - https://www.numdam.org/item/ITA_1991__25_1_67_0/
LA  - fr
ID  - ITA_1991__25_1_67_0
ER  - 
%0 Journal Article
%A Krivine, Jean-Louis
%T Lambda-calcul, évaluation paresseuse et mise en mémoire
%J RAIRO. Informatique théorique et applications
%D 1991
%P 67-84
%V 25
%N 1
%I EDP-Sciences
%U https://www.numdam.org/item/ITA_1991__25_1_67_0/
%G fr
%F ITA_1991__25_1_67_0
Krivine, Jean-Louis. Lambda-calcul, évaluation paresseuse et mise en mémoire. RAIRO. Informatique théorique et applications, Tome 25 (1991) no. 1, pp. 67-84. https://www.numdam.org/item/ITA_1991__25_1_67_0/

1. H. P. Barendregt, The lambda calculus, North Holland, 1984. | Zbl | MR

2. J. Y. Girard, Une extension de l'interprétation de Gödel à l'analyse, et son application à l'élimination des coupures, Proc. 2nd Scand. Logic Symp., 1970, North Holland, p. 63-92. | Zbl | MR

3. J. L. Krivine, Lambda-calcul typé, Masson, 1990. | MR

4. J. L. Krivine et M. Parigot, Programming with proofs, 6th Symp.. Comp. Theory 87, J. Inf. Process. Cybern., 3, 1990, p. 149-157. | Zbl | MR

5. D. Leivant, Reasoning about Functional Programs and Complexity Classes Associated with Type Disciplines, 24th Symp. on Found. of Comp. Sci., 1983, p. 460-469.

6. M. Parigot, Programming with Proofs: a Second Order Type Theory, Proc. ESOP'88, Lect. Notes in Comp. Sci., 300, p. 145-159.

7. J. L. Krivine, Opérateurs de mise en mémoire et traduction de Gödel, Archiv for math. Logic (à paraître). | Zbl | MR