Models of the lambda calculus. Unpublished manu- script (1969)

by D S Scott