TY  - RPRT
TI  - Internal Parametricity for Cubical Type Theory
AU  - Evan Cavallo
AU  - Robert Harper
PY  - 2021
DO  - 10.46298/lmcs-17(4:5)2021
UR  - https://arxiv.org/abs/2005.11290
ID  - 2005.11290
ER  -