4 citations · 4 across the 4 of their papers we have counts for
3 papers · 1 filter
Parametric Iteration in Resource Theories
Alessandro Di Giorgio, Pawel Sobocinski, Niels Voorneveld
Many algorithms are specified with respect to a fixed but unspecified parameter. Examples of this are especially common in cryptography, where protocols often feature a security pa…
The calculus of neo-Peircean relations
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon +1
The calculus of relations was introduced by De Morgan and Peirce during the second half of the 19th century, as an extension of Boole's algebra of classes. Later developments on qu…
Diagrammatic Algebra of First Order Logic
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…