%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://www.numdam.org/item/ITA_1991__25_1_67_0/
%G fr
%F ITA_1991__25_1_67_0