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