The Lambda Calculus: Its Syntax and Semantics (1981)

by H P Barendregt