Barendregt, H. P. (1984). The lambda calculus: Its syntax and semantics (Rev. ed.). Elsevier.
Chicago Style (17th ed.) CitationBarendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. Rev. ed. Amsterdam: Elsevier, 1984.
MLA (8th ed.) CitationBarendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. Rev. ed. Elsevier, 1984.
Warning: These citations may not always be 100% accurate.