TY  - RPRT
TI  - Regular Calculi I: Graphical Regular Logic
AU  - Tslil Clingman
AU  - Brendan Fong
AU  - David I. Spivak
PY  - 2021
UR  - https://arxiv.org/abs/2109.14123
ID  - 2109.14123
ER  -