A computational model for metric spaces

Theoretical Computer Science

Volumn 193, Issue 1-2, 1998, Pages 53-73

  Edalat, Abbas ^a   Heckmann, Reinhold ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002574415     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00243-5     Document Type: Article

References (19)

1. S. Abramsky and A. Jung, Domain theory, in: S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, eds., Handbook of Logic in Computer Science, Vol. III (Oxford Univ. Press, Oxford, 1994).
2. A. Edalat, Continuous information categories, Tech. Report Doc 91/41, Imperial College, 1991.
3. A. Edalat, Domain theory and integration, Theoret. Comput. Sci. 151 (1995) 163-193.
4. A. Edalat, Dynamical systems, measures and fractals via domain theory, Inform. Comput. 120 (1995) 32-48.
5. A. Edalat, Power domains and iterated function systems, Inform. Comput. 124 (1996) 182-197.
6. A. Edalat, The Scott topology induces the weak topology, in: LICS '96 (IEEE Computer Soc. Press, Silver Spring, MD, 1996).
7. H. Federer, Geometric Measure Theory (Springer-Verlag, Berlin, 1969).
8. S. Hayashi, Self-similar sets as Tarski's fixed points, Publ. Res. Inst. Math. Sci. 21 (1985) 1059-1066.
9. J.E. Hutchinson, Fractals and self-similarity, Indiana Univ. Math. J. 30 (1981) 713-747.
10. C.J. Jones, Probabilistic non-determinism, Ph.D. Thesis, Univ. of Edinburgh, 1990.
11. C.J. Jones and G.D. Plotkin, A probabilistic powerdomain of evaluations, in: LICS '89 (IEEE Computer Soc. Press, Silver Spring, MD, 1989) 186-195.
12. T. Kamimura and A. Tang, Total objects of domains, Theoret. Comput. Sci. 34 (1984) 275-288.
13. J.D. Lawson, Valuations on continuous lattices, in: R.-E. Hoffmann, ed., Continuous Lattices and Related Topics, Mathematik Arbeitspapiere, Vol. 27, Universität Bremen, 1982.
14. J.D. Lawson, Maximal valuations in MP hulls, personal communication, 1995.
15. J.D. Lawson, Spaces of maximal points, Math. Struct. Comput. Sci., to appear.
16. T. Norberg, Existence theorems for measures on continuous posets, with applications to random set theory, Math. Scand. 64 (1989) 15-51.
17. K. Weihrauch and U. Schreiber, Embedding metric spaces into cpo's, Theoret. Comput. Sci. 16 (1981) 5-24.
18. H. Zhang, Dualities of domains, Ph.D. Thesis, Department of Mathematics, Tulane University, 1993.
19. J. Blanck, Domain representability of metric spaces, Annals of Pure and Applied Logic (1997) to appear.