Set Theoretical Models of Lambda Calculus: Theory, Expansions and Isomorphisms (1983)

by G Longo
Venue:Annals of Pure and Applied Logic