Lambda-calcul, évaluation paresseuse et mise en mémoireJean-Louis KrivineRAIRO-Theor. Inf. Appl., 25 1 (1991) 67-84DOI: https://doi.org/10.1051/ita/1991250100671
