Domain theoretic models of topological spaces

Electronic Notes in Theoretical Computer Science

Volumn 13, Issue , 1998, Pages 173-181

  Martin, Keye ^a  

^a Tulane University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTRACTION MAPPINGS; DOMAIN THEORETIC MODELS; LAWSON TOPOLOGY; SCOTT CONTINUOUS MAPPING;

CONFORMAL MAPPING; METRIC SYSTEM; SET THEORY; THEOREM PROVING; TOPOLOGY;

MATHEMATICAL MODELS;

EID: 18944371061     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80221-X     Document Type: Conference Paper

References (12)

1. Abramsky S., Jung A. Domain Theory. Abramsky S., Gabbay D.M., Maibaum T.S.E. Handbook of Logic in Computer Science. Vol. III:1994;Oxford University Press
2. Edalat A., Heckmann R. A Computational Model for Metric Spaces. Theoretical Computer Science. 193:1998;53-73
3. Edalat A. When Scott is weak on the top. Mathematical Structures in Computer Science. 7:1997;401-417
4. Engelking R. Dimension Theory. 1978;North-Holland Publishing Company, New York
5. Engelking R. General Topology. 1977;Polish Scientific Publishers, Warszawa
6. B. Flagg and R. Kopperman. Computational Models for Ultrametric Spaces. Proceedings of MFPS XIII, ENTCS, Elsevier Science, 1997
7. J. De Groot. Non-archimedean metrics in topology. Proceedings of the American Math Society 7 (1956) p. 948-953.
8. Hofmann K.H. A note on Baire spaces and continuous lattices. Bull. Aust. Math. Soc. 21:1980;265-279
9. K. H. Hofmann and M. W. Mislove. Local Compactness and Continuous Lattices. In B. Banaschewski and R. E. Hofmann, editors, Continuous Lattices, Proceedings Bremen 1979, volume 871 of Lecture Notes in Mathematics, pages 209-248, Springer-Verlag, 1981.
10. Jung A., Sünderhauf P. Uniform Approximation of Topological Spaces. Topology and Its Applications. 83:1998;23-37
11. Lawson J. Spaces of Maximal Points. Mathematical Structures in Computer Science. 7:1997;543-555
12. D. Scott. Domains for Denotational Semantics. Proceedings ICALP 1982 (M. Nielsen and E. M. Schmidt editors) Lecture Notes in Computer Science, 140, p. 577-613, Springer-Verlag, Berlin, 1982.