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