Constructive sets in computable sets
From MaRDI portal
Publication:1372877
DOI10.1007/BF02943175zbMath0883.03043OpenAlexW2019812776MaRDI QIDQ1372877
Publication date: 13 January 1998
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02943175
Martin-Löf's type theoryconstructive set theoryidentity typesCZF\(\omega\)-setintensional type theory
Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)
Related Items (3)
Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\) ⋮ Semantics of constructions. I: The traditional approach ⋮ Structures definable in polymorphism
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A small complete category
- Constructivism in mathematics. An introduction. Volume II
- The extended calculus of constructions (ECC) with inductive types
- A higher-order calculus and theory abstraction
- A construction of non-well-founded sets within Martin-Löf's type theory
- Constructive natural deduction and its ‘ω-set’ interpretation
This page was built for publication: Constructive sets in computable sets
