Thomas Ehrhard & Laurent Regnier (2006):
Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms.
In: A. Beckmann, U. Berger, B. Löwe & J.V. Tucker: Second Conference on Computability in Europe, CiE 2006,
LNCS 3988.
Springer Berlin / Heidelberg,
Swansea, United Kingdom,
pp. 186–197,
doi:10.1007/11780342_20.
Available at https://hal.archives-ouvertes.fr/hal-00150273.
12 pages.