Pages that link to "Item:Q1606917"
From MaRDI portal
The following pages link to Parametricity and variants of Girard's \(J\) operator (Q1606917):
Displaying 6 items.
- (Q3300787) (← links)
- Parametricity, type equality, and higher-order polymorphism (Q3564921) (← links)
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)
- Non-parametric parametricity (Q4918243) (← links)
- Martin Hofmann's Case for Non-Strictly Positive Data Types (Q5091141) (← links)
- Intensional harmony as isomorphism (Q6612873) (← links)