TY - RPRT TI - Directed Homotopy in Non-Positively Curved Spaces AU - Eric Goubault AU - Samuel Mimram PY - 2020 DO - 10.23638/lmcs-16(3:4)2020 UR - https://arxiv.org/abs/1908.06684 ID - 1908.06684 ER -