Rewriting modulo symmetric monoidal structure.

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi

Browse the full LICS paper archive.