TY  - RPRT
TI  - A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets
AU  - Andreas Nuyts
PY  - 2017
UR  - https://arxiv.org/abs/1706.04383
ID  - 1706.04383
ER  -