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

by H P BARENDREGT