Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- 28 February 1998
- journal article
- review article
- Published by Elsevier in Theoretical Computer Science
- Vol. 193 (1-2) , 1-51
- https://doi.org/10.1016/s0304-3975(97)00042-x
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Continuity spaces: Reconciling domains and metric spacesTheoretical Computer Science, 1997
- Elements of generalized ultrametric domain theoryTheoretical Computer Science, 1996
- Embedding metric spaces into CPO'sTheoretical Computer Science, 1981
- Metric spaces, generalized logic, and closed categoriesRendiconti del Seminario Matematico e Fisico di Milano, 1973
- Topologies on spaces of subsetsTransactions of the American Mathematical Society, 1951
- Quelques problèmes concernant les espaces métriques non-séparablesFundamenta Mathematicae, 1935