Pages that link to "Item:Q1350507"
From MaRDI portal
The following pages link to Constructive domain theory as a branch of intuitionistic pointfree topology (Q1350507):
Displaying 14 items.
- Atomicity, coherence of information, and point-free structures (Q290637) (← links)
- Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609) (← links)
- Inductively generated formal topologies. (Q1412832) (← links)
- Some points in formal topology. (Q1427787) (← links)
- A cartesian closed category in Martin-Löf's intuitionistic type theory (Q1853587) (← links)
- A type theoretic interpretation of constructive domain theory (Q1923827) (← links)
- Maximal and partial points in formal spaces (Q2575773) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- Tychonoff's theorem in the framework of formal topologies (Q4382478) (← links)
- A constructive proof of the Heine-Borel covering theorem for formal reals (Q4647570) (← links)
- (Q4668868) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- Maximal elements with minimal logic (Q6161463) (← links)
- Apartness, sharp elements, and the Scott topology of domains (Q6190408) (← links)
