The Lambda Calculus: its Syntax and Semantics, revised edn (1984)

by H Barendregt