The Lambda Calculus : its Syntax and Semantics (1984)

by H P Barendregt