Closed ecavallo closed 5 years ago
A characterization of polymorphic maps X ∧ Y →* X ∧ Y, assuming a certain axiom that would follow from internal parametricity.
A characterization of polymorphic maps X ∧ Y →* X ∧ Y, assuming a certain axiom that would follow from internal parametricity.