TY - RPRT TI - Investigating The Algebraic Structure of Dihomotopy Types AU - Philippe Gaucher PY - 2001 DO - 10.1016/s1571-0661(04)00221-x UR - https://arxiv.org/abs/math/0105049 ID - math/0105049 ER -