Extending the topological interpretation to intuitionistic analysis Dana Scott — 1968 Compositio Mathematica