The following pages link to (Q3483291):
Displaying 6 items.
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- A parameterization process: from a functorial point of view (Q2909193) (← links)
- Polymorphic Abstract Syntax via Grothendieck Construction (Q3000622) (← links)
- Parametric polymorphism and operational equivalence (Q4500171) (← links)
- Parametric polymorphism and semantic subtyping (Q5176967) (← links)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)