- [1505.00048] PROPs for Linear Systems
- [2012.01847] String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
- [2104.14686] String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
- [1812.05765] Graphical Regular Logic
- https://www.ioc.ee/~pawel/papers/peirce.pdf Compositional Diagrammatic First-Order Logic
- [2105.03038] Lambek pregroups are Frobenius spiders in preorders