Krivine, J. (1990). Lambda-calcul: Types et modèles. Masson.
Chicago-Zitierstil (17. Ausg.)Krivine, Jean-Louis. Lambda-calcul: Types Et Modèles. Paris u.a: Masson, 1990.
MLA-Zitierstil (9. Ausg.)Krivine, Jean-Louis. Lambda-calcul: Types Et Modèles. Masson, 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.