TY - RPRT TI - Canonical Automata via Distributive Law Homomorphisms AU - Stefan Zetzsche AU - Gerco van Heerdt AU - Matteo Sammartino AU - Alexandra Silva PY - 2021 DO - 10.4204/eptcs.351.18 UR - https://arxiv.org/abs/2104.13421 ID - 2104.13421 ER -