Alessio Santamaria

According to our database, Alessio Santamaria authored at least 9 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Logical Predicates in Higher-Order Mathematical Operational Semantics.

Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Deconstructing the Calculus of Relations with Tape Diagrams.

Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria

Proc. ACM Program. Lang., January, 2023

2022

Bisimulation as a logical relation.

Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria

Math. Struct. Comput. Sci., April, 2022

Convexity via Weak Distributive Laws.

Filippo Bonchi, Alessio Santamaria

Log. Methods Comput. Sci., 2022

2021

Combining Semilattices and Semimodules.

Filippo Bonchi, Alessio Santamaria

Proceedings of the Foundations of Software Science and Computation Structures, 2021

On Doctrines and Cartesian Bicategories.

Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2019

Towards a Godement calculus for dinatural transformations.

Alessio Santamaria

PhD thesis, 2019

Frames and topological algebras for a double-power monad.

Giulia Frosoni, Giuseppe Rosolini, Alessio Santamaria

J. Log. Anal., 2019

2018

On Compositionality of Dinatural Transformations.

Guy McCusker, Alessio Santamaria

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018