String Diagram Rewriting Modulo Commutative (Co)Monoid Structure.

Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi

Browse the full CALCO paper archive.