Two simplified dependent type systems are introduced and proven sound with respect to set-theoretic interpretations, so their consistency is as solid as that of ZFC.
A new paradox in type theory
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Dependent Types Simplified
Two simplified dependent type systems are introduced and proven sound with respect to set-theoretic interpretations, so their consistency is as solid as that of ZFC.