TY  - RPRT
TI  - The Marriage of Univalence and Parametricity
AU  - Nicolas Tabareau
AU  - Éric Tanter
AU  - Matthieu Sozeau
PY  - 2020
UR  - https://arxiv.org/abs/1909.05027
ID  - 1909.05027
ER  -