Pages that link to "Item:Q5971398"
From MaRDI portal
The following pages link to Bifibrational functorial semantics of parametric polymorphism (Q5971398):
Displaying 6 items.
- Parametricity for primitive nested types (Q2233419) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Parametric Polymorphism — Universally (Q2947462) (← links)
- Proof-Relevant Parametricity (Q3188282) (← links)
- (Q5214814) (← links)
- Universal properties for universal types in bifibrational parametricity (Q5377699) (← links)
