APA (7th ed.) Citation

Barendregt, H. P. (2001). The lambda calculus: Its syntax and semantics (Rev. ed., 5. impr.). Elsevier.

Chicago Style (17th ed.) Citation

Barendregt, Hendrik P. The Lambda Calculus: Its Syntax and Semantics. Rev. ed., 5. impr. Amsterdam [u.a.]: Elsevier, 2001.

MLA (9th ed.) Citation

Barendregt, Hendrik P. The Lambda Calculus: Its Syntax and Semantics. Rev. ed., 5. impr. Elsevier, 2001.