Lattice Theoretic Models for Various Type-Free Calculi (1972)

by D Scott
Venue:Proc. 4th International Congress in Logic, Methodology and the Philosophy of Science