TY - RPRT TI - The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits AU - David I. Spivak PY - 2013 UR - https://arxiv.org/abs/1305.0297 ID - 1305.0297 ER -