Models for various type-free calculi (1973)

by D Scott
Venue:Logic, Methodology and Philosophy of Science IV