The following pages link to (Q2958537):
Displayed 7 items.
- Graded modal dependent type theory (Q2233475) (← links)
- From realizability to induction via dependent intersection (Q2636522) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Proof-Relevant Parametricity (Q3188282) (← links)
- (Q5028425) (← links)
- The calculus of dependent lambda eliminations (Q5372010) (← links)
- A presheaf model of parametric type theory (Q5971392) (← links)