TY  - RPRT
TI  - Types are weak omega-groupoids
AU  - Benno van den Berg
AU  - Richard Garner
PY  - 2011
DO  - 10.1112/plms/pdq026
UR  - https://arxiv.org/abs/0812.0298
ID  - 0812.0298
ER  -