Monoidal-closed categories of tree automata

Colin Riba. Monoidal-closed categories of tree automata. Mathematical Structures in Computer Science, 30(1):62-117, 2020. [doi]

Abstract

Abstract is missing.