Pages that link to "Item:Q5971398"
From MaRDI portal
The following pages link to Bifibrational functorial semantics of parametric polymorphism (Q5971398):
Displaying 13 items.
- Structural polymorphism (Q685400) (← links)
- Functorial polymorphism (Q753948) (← links)
- On the notion of bimodel for functorial semantics (Q1332449) (← links)
- Relational limits in general polymorphism (Q1346668) (← links)
- Parametricity as isomorphism (Q1349670) (← links)
- Relational parametricity and quotient preservation for modular (co)datatypes (Q1791181) (← links)
- Parametricity for primitive nested types (Q2233419) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- A parameterization process: from a functorial point of view (Q2909193) (← links)
- Parametric Polymorphism — Universally (Q2947462) (← links)
- Proof-Relevant Parametricity (Q3188282) (← links)
- (Q5214814) (← links)
- Universal properties for universal types in bifibrational parametricity (Q5377699) (← links)