The Lambda Calculus, its Syntax and Semantics (1984)

by H Barendregt