TY - RPRT TI - Segal-type algebraic models of n-types AU - David Blanc AU - Simona Paoli PY - 2014 DO - 10.2140/agt.2014.14.3419 UR - https://arxiv.org/abs/1204.5101 ID - 1204.5101 ER -