TY - RPRT TI - Homotopy Languages AU - César Bardomiano Martínez AU - Simon Henry PY - 2025 UR - https://arxiv.org/abs/2510.02607 ID - 2510.02607 ER -