Alessio Santamaria

15 papers B 3Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2024 — conf
Logical Predicates in Higher-Order Mathematical Operational Semantics.
FoSSaCS (2)
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
2024 J jnl
Logical Predicates in Higher-Order Mathematical Operational Semantics.
CoRR
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
2023 J jnl
Deconstructing the Calculus of Relations with Tape Diagrams.
Proc. ACM Program. Lang.
Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria
2022 J jnl
Bisimulation as a logical relation.
Math. Struct. Comput. Sci.
Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria
2022 J jnl
Convexity via Weak Distributive Laws.
Log. Methods Comput. Sci.
Filippo Bonchi, Alessio Santamaria
2022 J jnl
Deconstructing the Calculus of Relations with Tape Diagrams.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria
2021 B conf
Combining Semilattices and Semimodules.
FoSSaCS
Filippo Bonchi, Alessio Santamaria
2021 J jnl
Convexity via Weak Distributive Laws.
CoRR
Filippo Bonchi, Alessio Santamaria
2021 B conf
On Doctrines and Cartesian Bicategories.
CALCO
Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski
2021 J jnl
On Doctrines and Cartesian Bicategories.
CoRR
Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski
2020 J jnl
Bisimulation as a Logical Relation.
CoRR
Claudio Hermida, Uday S. Reddy, Edmund P. Robinson, Alessio Santamaria
2020 J jnl
Combining Semilattices and Semimodules.
CoRR
Filippo Bonchi, Alessio Santamaria
2019 J jnl
Frames and topological algebras for a double-power monad.
J. Log. Anal.
Giulia Frosoni, Giuseppe Rosolini, Alessio Santamaria
2019 — —
Towards a Godement calculus for dinatural transformations.
Alessio Santamaria
2018 B conf
On Compositionality of Dinatural Transformations.
CSL
Guy McCusker, Alessio Santamaria