Pages that link to "Item:Q5096235"
From MaRDI portal
The following pages link to Parametricity of extensionally collapsed term models of polymorphism and their categorical properties (Q5096235):
Displaying 4 items.
- Strong categorical datatypes II: A term logic for categorical programming (Q673963) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- Selective strictness and parametricity in structural operational semantics, inequationally (Q2464947) (← links)
- Relational Parametricity for Control Considered as a Computational Effect (Q5262944) (← links)
