Fabio Gadducci

Rewriting modulo symmetric monoidal structure

2016

String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal categories (SMCs). They find many applications in computer science and are becoming increasingly relevant in other fields such as physics and …