Models of the lambda calculus (1984)

by C P J Koymans