Approximation of Metric Spaces by Partial Metric Spaces

Applied Categorical Structures

Volumn 7, Issue 1-2, 1999, Pages 71-83

  Heckmann, Reinhold ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Domains; Generalised metric spaces; Preorder; Scott topology

Indexed keywords

EID: 0037879732     PISSN: 09272852     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1008684018933     Document Type: Article

References (3)

1. Edalat, A. and Heckmann, R.: A computational model for metric spaces, Theoretical Computer Science 193 (1998), 53-73.
2. Matthews, S. G.: Partial metric topology, in Proceedings of the 8th Summer Conference on Topology and its Applications, Annals of the New York Academy of Sciences 728, 1992, pp. 183-197.
3. O'Neill, S. J.: Two topologies are better than one, Technical Report, University of Warwick, April 1995.