Domain representations of topological spaces
From MaRDI portal
Publication:1583255
DOI10.1016/S0304-3975(99)00045-6zbMath0949.68096OpenAlexW2148084455WikidataQ29029652 ScholiaQ29029652MaRDI QIDQ1583255
Publication date: 26 October 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00045-6
Related Items
A stream calculus of bottomed sequences for real number computation ⋮ Formal contexts for algebraic domains ⋮ Properties of domain representations of spaces through dyadic subbases ⋮ Effectiveness in RPL, with applications to continuous logic ⋮ Reducibility of domain representations and Cantor–Weihrauch domain representations ⋮ Domain representations of spaces of compact subsets ⋮ An application of a representation theorem for fuzzy metrics to domain theory ⋮ Effectivity and effective continuity of multifunctions ⋮ Representations of Complete Uniform Spaces via Uniform Domains ⋮ On the Continuity of Effective Multifunctions ⋮ Can partial indexings be totalized? ⋮ Computable analysis with applications to dynamic systems ⋮ Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets ⋮ Computable Banach spaces via domain theory ⋮ Domain representations of topological spaces ⋮ Existence of strongly proper dyadic subbases ⋮ Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
Cites Work
- Domain theory and integration
- Domain representability of metric spaces
- A computational model for metric spaces
- Embedding metric spaces into CPO's
- Algebraic and fixed point equations over inverse limits of algebras
- Total sets and objects in domain theory
- Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality
- Properly injective spaces and function spaces
- Closing the gap between the continuous functionals and recursion in \(^3E\)
- Domain representations of topological spaces
- Equilogical spaces
- Dynamical systems, measures, and fractals via domain theory
- Power domains and iterated function systems
- Real number computability and domain theory
- Complete local rings as domains
- Spaces in which sequences suffice
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
