The Lambda Calculus: Its Syntax and Semantics. (1981)

by H G Barendregt