4 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon +1
We introduce the calculus of neo-Peircean relations, a string diagrammatic extension of the calculus of binary relations that has the same expressivity as first order logic and com…