TY - RPRT TI - Strict n-categories and augmented directed complexes model homotopy types AU - Andrea Gagna PY - 2018 UR - https://arxiv.org/abs/1612.04450 ID - 1612.04450 ER -