Apartness, sharp elements, and the Scott topology of domains
From MaRDI portal
Publication:6190408
DOI10.1017/s0960129523000282arXiv2106.05064OpenAlexW4385497009MaRDI QIDQ6190408
No author found.
Publication date: 5 March 2024
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2106.05064
constructive mathematicsScott topologydomain theoryapartnesssharp elementscontinuous directed complete posets (dcpos)strongly maximal elements
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Locatedness and overt sublocales
- A constructive theory of continuous domains suitable for implementation
- Effectively given domains
- Sheaf models for set theory
- Constructivism in mathematics. An introduction. Volume II
- A course in constructive algebra
- LCF considered as a programming language
- A type-theoretical alternative to ISWIM, CUCH, OWHY
- Constructive domain theory as a branch of intuitionistic pointfree topology
- Inductively generated formal topologies.
- A type theoretic interpretation of constructive domain theory
- The constructive maximal point space and partial metrizability
- Formalized, Effective Domain Theory in Coq
- Apartness and Uniformity
- Some Domain Theory and Denotational Semantics in Coq
- Higher-Order Computability
- Exhaustible sets in higher-type computation
- Continuous domains as formal spaces
- Spaces of maximal points
- The consistency of classical set theory relative to a set theory with intu1tionistic logic
- Continuous Lattices and Domains
- Partial Elements and Recursion via Dominances in Univalent Type Theory.
- Predicative Aspects of Order Theory in Univalent Foundations
This page was built for publication: Apartness, sharp elements, and the Scott topology of domains