APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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