1.
Lambda-calcul. Paris, Milan, Barcelone [etc.]: Masson; 1990.
Lambda-calcul. Paris, Milan, Barcelone [etc.] : Masson, 18 juin 1990. ISBN 2-225-82091-0
Krivine Jean-Louis. (1990). Lambda-calcul: Types et modèles. Masson.
MLA (8th ed.) CitationKrivine Jean-Louis. Lambda-calcul: Types Et Modèles. Masson, 1990.
Warning: These citations may not always be 100% accurate.