Reducibility of domain representations and Cantor–Weihrauch domain representations (Q3545272): Difference between revisions

@@ Property / cites work @@
+Extended admissibility.
@@ Property / cites work: Extended admissibility. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023580
@@ Property / cites work: Q4023580 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological and limit-space subcategories of countably-based equilogical spaces
+Normal rank
@@ Property / cites work @@
+Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
+Normal rank
@@ Property / cites work @@
+Dynamical systems, measures, and fractals via domain theory
+Normal rank
@@ Property / cites work @@
+Domain theory and integration
@@ Property / cites work: Domain theory and integration / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract versus concrete computation on metric partial algebras
+Normal rank
@@ Property / cites work @@
+Real number computability and domain theory
@@ Property / cites work: Real number computability and domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Domain representability of metric spaces
@@ Property / cites work: Domain representability of metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete models of computation for topological algebras
+Normal rank
@@ Property / cites work @@
+Exact real arithmetic using centred intervals and bounded error terms
+Normal rank
@@ Property / cites work @@
+Domain representations of topological spaces
@@ Property / cites work: Domain representations of topological spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Density theorems for the domains-with-totality semantics of dependent types
+Normal rank
@@ Property / cites work @@
+Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
+Normal rank
@@ Property / cites work @@
+Algebraic and fixed point equations over inverse limits of algebras
+Normal rank
@@ Property / cites work @@
+Equilogical spaces
@@ Property / cites work: Equilogical spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform domain representations of ℓp-spaces
@@ Property / cites work: Uniform domain representations of ℓp-spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie Der Numerierungen III
@@ Property / cites work: Theorie Der Numerierungen III / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie der Numerierungen I
@@ Property / cites work: Theorie der Numerierungen I / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding metric spaces into CPO's
@@ Property / cites work: Embedding metric spaces into CPO's / rank @@
+Normal rank
@@ Property / cites work @@
+A computational model for metric spaces
@@ Property / cites work: A computational model for metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Complete local rings as domains
@@ Property / cites work: Complete local rings as domains / rank @@
+Normal rank