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

by H P Barendregt