Bicompleting weightable quasi-metric spaces and partial metric spaces

Rendiconti del Circolo Matematico di Palermo

Volumn 51, Issue 1, 2002, Pages 151-162

  Oltra, S ^a   Romaguera, S ^a   Sanchez Perez E A ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

bicompletion; complexity space; domain of words; partial metric; weightable quasi metric

Indexed keywords

EID: 18944382616     PISSN: 0009725X     EISSN: 19734409     Source Type: Journal    
DOI: 10.1007/BF02871458     Document Type: Article

References (13)

1. Di Concilio A., Spazi quasimetrici e topologie ad essi associate, Rend. Accad. Sci. Fis. Mat. Napoli, 38 (1971), 113-130.
2. Escardo M. H., PCF extended with real numbers, Theoretical Computer Science, 162 (1996), 79-115.
3. Fletcher P., Lindgren W. F., Quasi-uniform Spaces, Marcel Dekker, New York, (1982).
4. Kahn G., The semantics of a simple language for parallel processing, in: Proc. IFIP Congress, Elsevier North-Holland, Amsterdam, 74 (1974), 471-475.
5. Künzi H. P. A., Nonsymmetric topology, in: Proc. Szekszárd Conference, Bolyai Soc. Math. Studies, 4 (1993), Hungary (Budapest 1995), 303-338.
6. Künzi H. P. A., Vajner V., Weighted quasi-metric, in: Proc. 8th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci., 728 (1994), 64-77.
7. Matthews S. G., Partial metric topology, in: Proc. 8th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci., 728 (1994), 183-197.
8. O'Neill S. J., Partial metrics, valuations and domain theory, in: Proc. 11th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci., 806 (1996), 304-315.
9. Romaguera S., Schellekens M., Quasi-metric properties of complexity spaces, Topology Appl., 98 (1999), 311-322.
10. Salbany S., Bitopological Spaces, Compactifications and Completions, Math. Monographs, Dept. Math. Univ. Cape Town, 1 (1974).
11. Schellekens M., The Smyth completion: a common foudation for denonational semantics and complexity analysis, in: Proc. MFPS 11, Electronic Notes in Theoretical Computer Science1 (1995), 211-232.
12. Schellekens M., On upper weightable spaces, in: Proc. 11th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci., 806 (1996), 348-363.
13. Smyth M. B., Totally bounded spaces and compact ordered spaces as domains of computation, in G. M. Reed, A. W. Roscoe and R. F. Wachter editors, Topology and Category Theory in Computer Science, Oxford University Press, (1991), 207-229.