TY - RPRT TI - On homotopy types modelized by strict \infty-groupoids AU - Dimitri Ara PY - 2012 UR - https://arxiv.org/abs/1206.2945 ID - 1206.2945 ER -