Similar Items: Approximation systems for functions in topological and in metric spaces
- Every metric space is separable in function realizability
- A Note on the Topologicity of Quantale-Valued Topological Spaces
- Computably regular topological spaces
- Web spaces and worldwide web spaces: topological aspects of domain theory
- Effective zero-dimensionality for computable metric spaces
- Extending set functors to generalised metric spaces