Extending the topological interpretation to intuitionistic analysis
Compositio Mathematica, Volume 20  (1968), p. 194-210
@article{CM_1968__20__194_0,
     author = {Scott, Dana},
     title = {Extending the topological interpretation to intuitionistic analysis},
     journal = {Compositio Mathematica},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     year = {1968},
     pages = {194-210},
     zbl = {0197.00201},
     mrnumber = {228331},
     language = {en},
     url = {http://www.numdam.org/item/CM_1968__20__194_0}
}
Scott, Dana. Extending the topological interpretation to intuitionistic analysis. Compositio Mathematica, Volume 20 (1968) , pp. 194-210. http://www.numdam.org/item/CM_1968__20__194_0/

E. Bishop [1] Foundations of Constructive Analysis, New York, 1967. | MR 221878 | Zbl 0183.01503

A. Heyting [2] Intuitionism. An Introduction, Amsterdam, 1956. | MR 75147 | Zbl 0070.00801 | Zbl 0125.00510

S.C. Kleene and R.E. Vesley [3] Foundations of Intuitionistic Mathematics, Amsterdam, 1965. | Zbl 0133.24601

G. Kreisel [4] Mathematical Logic, in Lectures on Mathematics, vol. III, (ed. T. L. Saaty), New York, 1965, pp. 95-195. | MR 177866 | Zbl 0147.24703

H. Rasiowa and R. Sikorski [5] The Mathematics of Metamathematics, Warsaw, 1963. | MR 163850 | Zbl 0122.24311

A.S. Troelstra [6] The Theory of Choice Sequences, to appear. | MR 252206 | Zbl 0185.01002 | Zbl 0263.02017