Quasi-metric properties of complexity spaces

Topology and its Applications

Volumn 98, Issue 1-3, 1999, Pages 311-322

  Romaguera, S ^a   Schellekens, M ^b  

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

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Complexity space; Contraction map; Quasi metric; Smyth complete; Totally bounded

Indexed keywords

EID: 0002656211     PISSN: 0016660X     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0166-8641(98)00102-3     Document Type: Article

References (17)

1. R.C. Flagg and R.D. Kopperman, The asymmetric topology of computer science, in: S. Brooks et al., eds., Mathematical Foundations of Programming Language Semantics, Vol. 802, Lectures Notes in Computer Science (Springer, Berlin, 1993) 544-553.
2. P. Fletcher and W.F. Lindgren, Quasi-Uniform Spaces (Marcel Dekker, New York, 1982).
3. D. Knuth, The Art of Computer Programming, Vol. 3 (Addison-Wesley, Reading, MA, 1973).
4. H.P.A. Künzi, Nonsymmetric topology, in: Proc. of Colloquium on Topology, 1993, Szekszárd, Hungary, Colloq. Math. Soc. János Bolyai Math. Studies 4 (1995) 303-338.
5. H.P.A. Künzi, Quasi-uniform spaces - eleven years later, Topology Proc. 18 (1993) 143-171.
6. H.P.A. Künzi and V. Vajner, Weighted quasi-metric spaces, in: Proc. 8th Summer Conference on General Topology and Applications, Ann. New York Acad. Sci. 728 (1994) 64-77.
7. S.G. Matthews, Partial metric topology, in: Proc. 8th Summer Conference on General Topology and Applications, Ann. New York Acad. Sci. 728 (1994) 183-197.
8. Ming Li and P. Vitanyi, An Introduction to Kolmogorov Complexity and its Applications (Springer, Berlin, 1993).
9. S. Romaguera, On hereditary precompactness and completeness in quasi-uniform spaces, Acta Math. Hungar. 73 (1996) 159-178.
10. S. Romaguera and M. Sanchis, Semi-Lipschitzian functions and the best approximation in quasi-metric spaces, Preprint.
11. S. Romaguera and M. Schellekens, Duality and quasi-normability for complexity spaces, Preprint.
12. M. Schellekens, The Smyth completion: A common foundation for denotational semantics and complexity analysis, in: Proc. MFPS 11, Electronic Notes in Theoret. Comput. Sci. 1 (1995) 211-232.
13. M. Schellekens, On upper weightable spaces, in: Proc. 11th Summer Conference on General Topology and Applications, Ann. New York Acad. Sci. 806 (1996) 348-363.
14. M.B. Smyth, Totally bounded spaces and compact ordered spaces as domains of computation, in: Topology and Category Theory in Computer Science (University Press, Oxford, 1991) 207-229.
15. M.B. Smyth, Completeness of quasi-uniform and syntopological spaces, J. London Math. Soc. 49 (1994) 385-400.
16. Ph. Sünderhauf, The Smyth-completion of a quasi-uniform space, in: M. Droste and Y. Gurevich, eds., Semantics of Programming Languages and Model Theory, Algebra Logic and Applications, Vol. 5 (Gordon and Breach Science Publ., 1993) 189-212.
17. Ph. Sünderhauf, Quasi-uniform completeness in terms of Cauchy nets, Acta Math. Hungar. 69 (1995) 47-54.