@Inproceedings{EPTCS323.14, author = {Fong, Brendan and Spivak, David }, year = {2020}, title = {String Diagrams for Regular Logic (Extended Abstract)}, editor = {Baez, John and Coecke, Bob}, booktitle = {{\rm Proceedings} Applied Category Theory 2019, {\rm University of Oxford, UK, 15-19 July 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {323}, publisher = {Open Publishing Association}, pages = {196-229}, doi = {10.4204/EPTCS.323.14}, }