TY  - RPRT
TI  - Semantics of higher inductive types
AU  - Peter LeFanu Lumsdaine
AU  - Mike Shulman
PY  - 2019
DO  - 10.1017/s030500411900015x
UR  - https://arxiv.org/abs/1705.07088
ID  - 1705.07088
ER  -