Rewriting modulo symmetric monoidal structure
Filippo Bonchi‚ Fabio Gadducci‚ Aleks Kissinger and Fabio Zanasi Pawełł Sobociński
Book Title
Proceedings of the 31st Annual ACM/IEEE symposium on Logic in Computer Science (LICS)
Year
2016
Filippo Bonchi‚ Fabio Gadducci‚ Aleks Kissinger and Fabio Zanasi Pawełł Sobociński