Mathematical theory of domains
Mathematical theory of domains
Dynamical systems, measures, and fractals via domain theory
Information and Computation
On some decision problems in programming
Information and Computation
Selected papers of the workshop on Topology and completion in semantics
Handbook of logic in computer science (vol. 4)
Power domains and iterated function systems
Information and Computation
Real number computability and domain theory
Information and Computation
A computational model for metric spaces
Theoretical Computer Science
Domain representations of topological spaces
Theoretical Computer Science
Computable analysis: an introduction
Computable analysis: an introduction
Reducibility of domain representations and cantor–weihrauch domain representations
Mathematical Structures in Computer Science
| Hi-index | 0.00 |
General methods of investigating effectivity on regular Hausdorff (T3) spaces is considered. It is shown that there exists a functor from a category of T3 spaces into a category of domain representations. Using this functor one may look at the subcategory of effective domain representations to get an effectivity theory for T3 spaces. However, this approach seems to be beset by some problems. Instead, a new approach to introducing effectivity to T3 spaces is given. The construction uses effective retractions on effective Scott-Ershov domains. The benefit of the approach is that the numbering of the basis and the numbering of the elements are derived at once.