Barendregt, H. P. (1981). The lambda calculus: Its syntax and semantics. North-Holland.
Cita Chicago Style (17a ed.)Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. Amsterdam [etc.]: North-Holland, 1981.
Cita MLA (9a ed.)Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. North-Holland, 1981.
Precaución: Estas citas no son 100% exactas.