Set-Theoretical models of lambda calculus: Theories (0)

by P Longo
Venue:Expansions and Isomorphisms”, Annals of Pure and Applied Logic