7 citations · 9 across the 7 of their papers we have counts for
7 papers
Logical Predicates in Higher-Order Mathematical Operational Semantics
Sergey Goncharov, Alessio Santamaria, Lutz Schröder +2
We present a systematic approach to logical predicates based on universal coalgebra and higher-order abstract GSOS, thus making a first step towards a unifying theory of logical re…
Deconstructing the Calculus of Relations with Tape Diagrams
Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria
Rig categories with finite biproducts are categories with two monoidal products, where one is a biproduct and the other distributes over it. In this work we present tape diagrams,…
Convexity via Weak Distributive Laws
Filippo Bonchi, Alessio Santamaria
We study the canonical weak distributive law of the powerset monad over the semimodule monad for a certain class of semirings containing, in particular, positive semifields. Fo…
On Doctrines and Cartesian Bicategories
Filippo Bonchi, Alessio Santamaria, Jens Seeber +1
We study the relationship between cartesian bicategories and a specialisation of Lawvere's hyperdoctrines, namely elementary existential doctrines. Both provide different ways of a…
Combining Semilattices and Semimodules
Filippo Bonchi, Alessio Santamaria
We describe the canonical weak distributive law of the powerset monad over the -left-semimodule monad $\ma…
Composing Dinatural Transformations: Towards a Calculus of Substitution
Guy McCusker, Alessio Santamaria
Dinatural transformations, which generalise the ubiquitous natural transformations to the case where the domain and codomain functors are of mixed variance, fail to compose in gene…
Bisimulation as a Logical Relation
Claudio Hermida, Uday Reddy, Edmund Robinson +1
We investigate how various forms of bisimulation can be characterised using the technology of logical relations. The approach taken is that each form of bisimulation corresponds to…