TY  - RPRT
TI  - A first-order logic for string diagrams
AU  - Aleks Kissinger
AU  - David Quick
PY  - 2015
UR  - https://arxiv.org/abs/1505.00343
ID  - 1505.00343
ER  -