@misc{indiciaee968e4a0e503, title = {A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets}, author = {Andreas Nuyts}, year = {2017}, url = {https://arxiv.org/abs/1706.04383}, note = {Source identifier: 1706.04383} }