TY  - RPRT
TI  - Weak omega-categories from intensional type theory
AU  - Peter LeFanu Lumsdaine
PY  - 2010
DO  - 10.2168/lmcs-6(3:24)2010
UR  - https://arxiv.org/abs/0812.0409
ID  - 0812.0409
ER  -