Reducibility of domain representations and Cantor–Weihrauch domain representations
From MaRDI portal
Publication:3545272
DOI10.1017/S0960129508007093zbMath1166.03020OpenAlexW2118881621MaRDI QIDQ3545272
Publication date: 10 December 2008
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129508007093
reducibilitydomain representationcomputable analyisScott-Ershov domain, directed-complete partial order
Constructive and recursive analysis (03F60) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Higher-type and set recursion theory (03D65)
Related Items (2)
Stability of representations of effective partial algebras ⋮ Domain representations of spaces of compact subsets
Cites Work
- Unnamed Item
- 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
- Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
- Concrete models of computation for topological algebras
- Density theorems for the domains-with-totality semantics of dependent types
- Domain representations of topological spaces
- Extended admissibility.
- Equilogical spaces
- Dynamical systems, measures, and fractals via domain theory
- Real number computability and domain theory
- Exact real arithmetic using centred intervals and bounded error terms
- Uniform domain representations of ℓp-spaces
- Complete local rings as domains
- Theorie der Numerierungen I
- Theorie Der Numerierungen III
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Topological and limit-space subcategories of countably-based equilogical spaces
- Abstract versus concrete computation on metric partial algebras
This page was built for publication: Reducibility of domain representations and Cantor–Weihrauch domain representations
