The Lambda Calculus: Its Syntax and Semantics (1984)

by H Barendreght