Extending the topological interpretation to intuitionistic analysis (1970)

by Dana Scott
Venue:Intuitionism and Proof Theory, number 60 in Studies in Logic and the Foundations of Mathematics