Barendregt, H. P. (1984). The lambda calculus: Its syntax and semantics. Amsterdam: North-Holland.
Παραπομπή Chicago StyleBarendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. Amsterdam: North-Holland, 1984.
Παραπομπή MLABarendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. Amsterdam: North-Holland, 1984.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.