Pages that link to "Item:Q4647577"
From MaRDI portal
The following pages link to Conservativity of equality reflection over intensional type theory (Q4647577):
Displayed 7 items.
- On the strength of dependent products in the type theory of Martin-Löf (Q1024547) (← links)
- Constructing a universe for the setoid model (Q2233391) (← links)
- On generalized algebraic theories and categories with families (Q5084311) (← links)
- Pointers in Recursion: Exploring the Tropics (Q5089027) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
- Indexed containers (Q5371943) (← links)
- The compatibility of the minimalist foundation with homotopy type theory (Q6122600) (← links)