TY - RPRT TI - Category Theory of Symbolic Dynamics AU - Ville Salo AU - Ilkka Törmä PY - 2018 DO - 10.1016/j.tcs.2014.10.023 UR - https://arxiv.org/abs/1309.2456 ID - 1309.2456 ER -