TY - RPRT TI - Modelling and Computing Homotopy Types: I AU - Ronald Brown PY - 2017 UR - https://arxiv.org/abs/1610.07421 ID - 1610.07421 ER -