TY  - RPRT
TI  - Univalent Higher Categories via Complete Semi-Segal Types
AU  - Paolo Capriotti
AU  - Nicolai Kraus
PY  - 2017
UR  - https://arxiv.org/abs/1707.03693
ID  - 1707.03693
ER  -