Partial metrisability of continuous posets

Mathematical Structures in Computer Science

Volumn 16, Issue 2, 2006, Pages 359-372

  Waszkiewicz, Paweł ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33750735712     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129506005196     Document Type: Conference Paper

References (22)

1. Abramsky, S. and Jung, A. (1994) Domain Theory. In: Abramsky, S., Gabbay, D. M. and Maibaum, T. S. E. (eds.) Handbook of Logic in Computer Science 3, Oxford University Press 1-168.
2. Bonsangue, M. M., van Breugel, F. and Rutten, J. J. M. M. (1998) Generalized metric spaces: completion, topology and powerdomains via the Yoneda embedding. Theoretical Computer Science 193 1-51.
3. Edalat, A. and Heckmann, R. (1998) A computational model for metric spaces. Theoretical Computer Science 193 (1-2) 53-73.
4. Engelking, R. (1989) General Topology, Sigma Series in Pure Mathematics, Heldermann Verlag.
5. Flagg, R. C. and Kopperman, R. (1997) Continuity spaces: reconciling domains and metric spaces. Theoretical Computer Science 111 (1) 111-138.
6. Flagg, R. C. and Sünderhauf, P. (2002) The essence of ideal completion in quantitative form. Theoretical Computer Science 278 (1-2) 141-158.
7. Frink, A. H. (1937) Distance functions and the metrization problem. Bulletin of the American Mathematical Society 43 133-142.
8. Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M. and Scott, D. S. (2003) Continuous lattices and domains. Encyclopedia of mathematics and its applications 93.
9. Heckmann, R. (1990) Power Domain Constructions (Potenzbereich- Konstruktionen), Ph.D. Thesis, Universität des Saarlandes.
10. Heckmann, R. (1999) Approximation of metric spaces by partial metric spaces. Applied Categorical Structures 1 71-83.
11. Künzi, H.-P. and Vajner, V. (1994) Weighted quasi-metrics. Papers on General Topology and Applications: Proceedings of the Eighth Summer Conference on General Topology and Its Applications. Ann. New York Acad. Sci. 728 64-77.
12. Lawson, J. D. (1997) Spaces of maximal points. Mathematical Structures in Computer Science 1 (5) 543-555.
13. Martin, K. (2000a) A foundation for computation, Ph.D. Thesis, Tulane University, New Orleans LA 70118.
14. Martin, K. (2000b) The measurement process in domain theory. Proceedings of the 27th ICALP. Springer-Verlag Lecture Notes in Computer Science 1853 116-126.
15. Martin, K. (2003) Ideal models of spaces. Theoretical Computer Science 305 (1-3) 277-297.
16. Matthews, S. G. (1994) Partial metric topology. Papers on General Topology and Applications: Proceedings of the Eighth Summer Conference on General Topology and Its Applications. Ann. New York Acad. Sci. 728 64-77.
17. O'Neill, S. J. (1995) Partial metrics, valuations and domain theory. Research Report CS-RR-293, Department of Computer Science, University of Warwick, Coventry, UK (May).
18. Smyth, M. B. (1991) Totally bounded spaces and compact ordered spaces as domains of computation. In: Reed, G. M., Roscoe, A. W. and Watcher, R. F. (eds.) Topology and Category Theory in Computer Science, Clarendon Press 207-229.
19. Smyth, M. B. (2002) The constructive maximal point space and partial metrizability. Electronic Notes in Theoretical Computer Science 74. (Submitted to Ann. Pure and App. Logic.)
20. Waszkiewicz, P. (2001) Distance and measurement in domain theory. In: Brookes, S. and Mislove, M. (eds.) 17th Conference on the Mathematical Foundations of Programming Semantics. Electronic Notes in Theoretical Computer Science 45.
21. Waszkiewicz, P. (2003a) Quantitative continuous domains. Applied Categorical Structures 11 41-67.
22. Waszkiewicz, P. (2003b) The local triangle axiom in topology and domain theory. Applied General Topology 4(1) 47-70.