Alessio Santamaria

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 14

Top Topics

Dispute Resolution

Operational Semantics

Log Polar Mapping

Graphical Representation

Top Venues

Proc. ACM Program. Lang.

Publications

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