Diagrammatic Algebra of First Order Logic.

Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski

Browse the full LICS paper archive.