Pages that link to "Item:Q688845"
From MaRDI portal
The following pages link to Type-theoretic interpretation of iterated, strictly positive inductive definitions (Q688845):
Displaying 8 items.
- Constructive characterizations of bar subsets (Q866574) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
- The strength of some Martin-Löf type theories (Q1344548) (← links)
- Induction-recursion and initial algebras. (Q1412830) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- Regular universes and formal spaces (Q2575774) (← links)
- Interpreting classical theories in constructive ones (Q2710607) (← links)
