Pages that link to "Item:Q5971392"
From MaRDI portal
The following pages link to A presheaf model of parametric type theory (Q5971392):
Displaying 10 items.
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Proof-Relevant Parametricity (Q3188282) (← links)
- Towards a Cubical Type Theory without an Interval (Q4580224) (← links)
- Cubical Type Theory: a constructive interpretation of the univalence axiom (Q4580226) (← links)
- (Q4993353) (← links)
- Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
- (Q5028425) (← links)
- Leibniz equality is isomorphic to Martin-Löf identity, parametrically (Q5120232) (← links)
- (Q5141620) (← links)
- (Q5155672) (← links)
