The Lambda Calculus: Its Syntar and Semantics (1985)

by H P Barendregt