Nathan Haydon, Pawel Sobocinski 0001. Compositional Diagrammatic First-Order Logic. In Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James E. Corter, Sven Linker, editors, Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings. Volume 12169 of Lecture Notes in Computer Science, pages 402-418, Springer, 2020. [doi]
Abstract is missing.