The Lambda Calculus. Its Syntax and Semantics, 2 nd rev. edition (1984)

by H P Barendregt