4 citations · 4 across the 1 of their papers we have counts for
3 papers
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…
Monoidal Width: Unifying Tree Width, Path Width and Branch Width
Elena Di Lavore, Paweł Sobociński
We introduce monoidal width as a measure of the difficulty of decomposing morphisms in monoidal categories. For graphs, we show that monoidal width and two variations capture exist…