@Inproceedings{EPTCS333.4, author = {Patterson, Evan and Spivak, David I. and Vagner, Dmitry}, year = {2021}, title = {Wiring diagrams as normal forms for computing in symmetric monoidal categories}, editor = {Spivak, David I. and Vicary, Jamie}, booktitle = {{\rm Proceedings of the 3rd Annual International} Applied Category Theory Conference 2020, {\rm Cambridge, USA, 6-10th July 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {333}, publisher = {Open Publishing Association}, pages = {49-64}, doi = {10.4204/EPTCS.333.4}, }