Lambda-calcul, évaluation paresseuse et mise en mémoire
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) no. 1, pp. 67-84
Voir la notice de l'article provenant de la source Numdam
@article{ITA_1991__25_1_67_0,
author = {Krivine, Jean-Louis},
title = {Lambda-calcul, \'evaluation paresseuse et mise en m\'emoire},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {67--84},
publisher = {EDP-Sciences},
volume = {25},
number = {1},
year = {1991},
mrnumber = {1104412},
zbl = {0717.03003},
language = {fr},
url = {http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1991 SP - 67 EP - 84 VL - 25 IS - 1 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1991 %P 67-84 %V 25 %N 1 %I EDP-Sciences %U http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) no. 1, pp. 67-84. http://geodesic.mathdoc.fr/item/ITA_1991__25_1_67_0/