research
∙
09/02/2022
Notions of parametricity as monoidal models for type theory
This article gives a solid theoretical grounding to the observation that...
research
∙
05/18/2021