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