TY  - RPRT
TI  - Higher Structures in Homotopy Type Theory
AU  - Ulrik Buchholtz
PY  - 2018
UR  - https://arxiv.org/abs/1807.02177
ID  - 1807.02177
ER  -