Similar Items: $sigma$-locales in Formal Topology
- A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
- Enhancing Graph Representation Learning with Localized Topological Features
- Formal Languages, Formally and Coinductively
- A Note on the Topologicity of Quantale-Valued Topological Spaces
- Modal Logics of Topological Relations
- Computably regular topological spaces