no code implementations • 11 Mar 2021 • Fabio Gadducci, Francesco Santini
Residuation theory concerns the study of partially ordered algebraic structures, most often monoids, equipped with a weak inverse for the monoidal operator.
Logic in Computer Science
1 code implementation • 3 Dec 2020 • Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
In the last part, we also see that the approach can be generalised to model rewriting modulo multiple Frobenius structures.
Logic in Computer Science Category Theory
no code implementations • 14 Oct 2020 • Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
The tool voxlogica merges the state-of-the-art library of computational imaging algorithms ITK with the combination of declarative specification and optimised execution provided by spatial logic model checking.