Domain representations of topological spaces
From MaRDI portal
Publication:1583255
DOI10.1016/S0304-3975(99)00045-6zbMath0949.68096WikidataQ29029652 ScholiaQ29029652MaRDI QIDQ1583255
Publication date: 26 October 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q55: Semantics in the theory of computing
Related Items
Properties of domain representations of spaces through dyadic subbases, Representations of Complete Uniform Spaces via Uniform Domains, On the Continuity of Effective Multifunctions, Computable analysis with applications to dynamic systems, A stream calculus of bottomed sequences for real number computation, Formal contexts for algebraic domains, Effectiveness in RPL, with applications to continuous logic, An application of a representation theorem for fuzzy metrics to domain theory, Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets, Computable Banach spaces via domain theory, Domain representations of topological spaces, Domain representations of partial functions, with applications to spatial objects and constructive volume geometry., Can partial indexings be totalized?, Existence of strongly proper dyadic subbases, Reducibility of domain representations and Cantor–Weihrauch domain representations, Domain representations of spaces of compact subsets, Effectivity and effective continuity of multifunctions
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