The Lambda Calculus: Its Syntax and Semantics, 2nd edn (1984)

by H P Barendregt