TY  - RPRT
TI  - Higher Homotopies in a Hierarchy of Univalent Universes
AU  - Nicolai Kraus
AU  - Christian Sattler
PY  - 2015
DO  - 10.1145/2729979
UR  - https://arxiv.org/abs/1311.4002
ID  - 1311.4002
ER  -