TY  - RPRT
TI  - Cubical Categories for Higher-Dimensional Parametricity
AU  - Patricia Johann
AU  - Kristina Sojakova
PY  - 2017
UR  - https://arxiv.org/abs/1701.06244
ID  - 1701.06244
ER  -