Aleks Kissinger, David Quick. A First-order Logic for String Diagrams. In Lawrence S. Moss, Pawel Sobocinski, editors, 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands. Volume 35 of LIPIcs, pages 171-189, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
Abstract is missing.