Some Syntactic and Categorial Constructions of lambda-calculus models (1979)

by G Berry