Barendregt, H. P. (1981). The lambda calculus: Its syntax and semantics. North-Holland.
Chicago-Zitierstil (17. Ausg.)Barendregt, Hendrik P. The Lambda Calculus: Its Syntax and Semantics. Amsterdam [u.a.]: North-Holland, 1981.
MLA-Zitierstil (9. Ausg.)Barendregt, Hendrik P. The Lambda Calculus: Its Syntax and Semantics. North-Holland, 1981.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.