Quartz 4

String Diagram Rewrite Theory {{II}}: Rewriting with Symmetric Monoidal Structure

Graph View