TY  - RPRT
TI  - Semi-simplicial Types in Logic-enriched Homotopy Type Theory
AU  - Fedor Part
AU  - Zhaohui Luo
PY  - 2015
UR  - https://arxiv.org/abs/1506.04998
ID  - 1506.04998
ER  -