The quasi-metric of complexity convergence

Quaestiones Mathematicae

Volumn 23, Issue 3, 2000, Pages 359-374

  Romaguera, Salvador ^a   Schellekens, Michel ^b  

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

^b UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

Complexity convergence; Pointwise convergence; Quasimetric; Smyth complete; The Grothendieck theorem; Uniform convergence

Indexed keywords

EID: 0042760023     PISSN: 16073606     EISSN: 1727933X     Source Type: Journal    
DOI: 10.2989/16073600009485983     Document Type: Article

References (17)

1. p(X), Comm., Math. Univ. Carolinae 22 (1981), 255-266.
2. P. FLETCHER and W.F. Lindgren, Quasi-Uniform Spaces, Marcel Dekker, New York, 1982.
3. A. GROTHENDIECK, Criteres de compacite dans les espaces fonctionnels generaux, Amer. J. Math. 74 (1952), 168-186.
4. H.P.A. Kunzi, Nonsymmetric topology, In: Proc. Colloquium on topology, 1993, Szekszard, Hungary, Colloq. Math. Soc. Janos Bolyai Math. Studies 4 (1995), 303-338.
5. H.P.A. Kunzi and S. Romaguera, Spaces of continuous functions and quasiuniform convergence, Acta Math. Hungar. 75 (1997), 287-298.
6. S.G. MATTHEWS, Partial metric topology, In: Proc. 8th Summer Conference on General Topology and Appl., Ann. New York Acad. Sci. 728 (1994), 183-197.
7. S. Romaguera, Left K-completeness in quasi-metric spaces, Math. Nachr. 157 (1992), 15-23.
8. S. Romaguera, On hereditary precompactness and completeness in quasi-uniform spaces, Acta Math. Hungar. 73 (1996), 159-178.
9. S. ROMAGUERA and M. Schellekens, Quasi-metric properties of complexity spaces, Topology Appl. 98 (1999), 311-322.
10. S. ROMAGUERA and M. Schellekens, Duality and quasi-normability for complexity spaces, preprint.
11. M. Schellekens, The Smyth completion: a common foundation for denotational semantics and complexity analysis, In: Proc. MFPS 11, Electronic Notes in Theoretical Computer Science 1 (1995), 211-232.
12. M. Schellekens, On upper weightable spaces, In: Proc. 11th Summer Conference on General Topology and Appl., Ann. New York Acad. Sci. 806 (1996), 348-363.
13. M. Schellekens, On the dual correspondence between partial metrics and generalized (e)valuation in Domain Theory, preprint.
14. M.B. Smyth, Quasi-uniformities: Reconciling domains with metric spaces, In: Proc. MFPS 3, LNCS 298, (M. Main et al. eds.), Springer, Berlin 1988, 236-253.
15. M.B. Smyth, Totally bounded spaces and compact ordered spaces as domains of computation, In: Topology and Category Theory in Computer Science, (G.M. Reed, A.W. Roscoe and R.F. Wachter, eds.), Clarendon Press, Oxford, 1991, 207-229.
16. J. Stoy, Denotational Semantics: the Scott-Strachey approach to Programming Language Theory, MIT Press, 1977.
17. Ph. SÜNDERHAUF, The Smyth-competion of a quasi-uniform space, In: Semantics of Programming Languages and Model Theory, Algebra, Logic and Appl. (M. Droste and Y. Gurevich, eds.), 5, Gordon and Breach Sci. Publ., 1993, 189-212.