P.: The Lambda Calculus: Its Syntax and Semantics (rev. edn (1984)

by H Barendregt