Barendrecht (1984)

Barendrecht H.P. (1984)

The Lambda Calculus -- Its Syntax and Semantics

North-Holland, rev. edn