Dedekind completion as a method for constructing new Scott domains
From MaRDI portal
Publication:2841264
DOI10.1016/S1571-0661(04)00310-XzbMath1268.03018MaRDI QIDQ2841264
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The system \({\mathcal F}\) of variable types, fifteen years later
- \(\kappa\)-continuous lattices and comprehension principles for Frege structures
- A type-free system extending (ZFC)
- The lambda calculus, its syntax and semantics
- Map theory
- A \(\kappa\)-denotational semantics for map theory in ZFC+SI