Similar Items: Computably regular topological spaces
- Products of effective topological spaces and a uniformly computable Tychonoff Theorem
- A Note on the Topologicity of Quantale-Valued Topological Spaces
- The Rice-Shapiro theorem in Computable Topology
- Approximation systems for functions in topological and in metric spaces
- Web spaces and worldwide web spaces: topological aspects of domain theory
- Synthesis of Computable Regular Functions of Infinite Words