TY - RPRT TI - Wiring diagrams as normal forms for computing in symmetric monoidal categories AU - Evan Patterson AU - David I. Spivak AU - Dmitry Vagner PY - 2021 DO - 10.4204/eptcs.333.4 UR - https://arxiv.org/abs/2101.12046 ID - 2101.12046 ER -