The Lambda Calculus. Its Syntax and Semantics" (revised edition (1984)

by H Barendregt