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