On Compositionality of Dinatural Transformations. - Guy McCusker; Alessio Santamaria (CSL, 2018)

Frames and topological algebras for a double-power monad. - Giulia Frosoni; Giuseppe Rosolini; Alessio Santamaria (J. Log. Anal., 2019)

Towards a Godement calculus for dinatural transformations. - Alessio Santamaria (2019)

On Doctrines and Cartesian Bicategories. - Filippo Bonchi; Alessio Santamaria; Jens Seeber; Pawel Sobocinski 001 (CALCO, 2021)

Combining Semilattices and Semimodules. - Filippo Bonchi; Alessio Santamaria (FoSSaCS, 2021)

Convexity via Weak Distributive Laws. - Filippo Bonchi; Alessio Santamaria (Log. Methods Comput. Sci., 2022)

Bisimulation as a logical relation. - Claudio Hermida; Uday S. Reddy; Edmund Robinson; Alessio Santamaria (Math. Struct. Comput. Sci., 2022)

Deconstructing the Calculus of Relations with Tape Diagrams. - Filippo Bonchi; Alessandro Di Giorgio 002; Alessio Santamaria (Proc. ACM Program. Lang., 2023)

Logical Predicates in Higher-Order Mathematical Operational Semantics. - Sergey Goncharov 001; Alessio Santamaria; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (FoSSaCS (2), 2024)