TY - RPRT TI - A Kleene theorem for free many-sorted algebras AU - Lü Gong AU - Raúl Ruiz Mora AU - Nofre Sanmartín Vich AU - Enric Cosme Llópez PY - 2026 UR - https://arxiv.org/abs/2606.29939 ID - 2606.29939 ER -