5XÉçÇøÊÓƵ

Foundations of Software Systems (FoSS)

Alessio Santamaria

Selected Publications

2024

  • Goncharov, S., Santamaria, A., Schröder, L., Tsampas, S., & Urbat, H. (2024). Logical predicates in higher-order mathematical operational semantics. In Foundations of Software Science and Computation Structures Vol. 14575 (pp. 47-69). Cham, Switzerland: Springer Nature Switzerland. doi:10.1007/978-3-031-57231-9_3
    Conference publication. .
  • Goncharov, S., Santamaria, A., Schröder, L., Tsampas, S., & Urbat, H. (2024). Logical Predicates in Higher-Order Mathematical Operational Semantics. doi:10.48550/arxiv.2401.05872
    Preprint. .

2023

  • Bonchi, F., Giorgio, A. D., & Santamaria, A. (2023). Deconstructing the calculus of relations with tape diagrams. Proceedings of the ACM on Programming Languages, 7, 1864-1894. doi:10.1145/3571257
    Article. .

2022

  • Bonchi, F., & Santamaria, A. (2022). Convexity via weak distributive laws. Logical Methods in Computer Science, 18(4), 8:1-8:55. doi:10.46298/LMCS-18(4:8)2022
    Article. .
  • Bonchi, F., Giorgio, A. D., & Santamaria, A. (2022). Deconstructing the Calculus of Relations with Tape Diagrams. Retrieved from http://dx.doi.org/10.1145/3571257
    Preprint.
  • Hermida, C., Reddy, U., Robinson, E., & Santamaria, A. (2022). Bisimulation as a logical relation. Mathematical Structures in Computer Science, 32(4), 442-471. doi:10.1017/S0960129522000020
    Article. .

2021

  • Bonchi, F., Santamaria, A., Seeber, J., & Sobocinski, P. (2021). On doctrines and cartesian bicategories. In Leibniz International Proceedings in Informatics, LIPIcs Vol. 211 (pp. 1-17). Salzburg, Austria: Schloss Dagstuhl – Leibniz Center for Informatics. doi:10.4230/LIPIcs.CALCO.2021.10
    Conference publication. .
  • Bonchi, F., & Santamaria, A. (2021). Convexity via Weak Distributive Laws. Retrieved from http://dx.doi.org/10.46298/lmcs-18(4:8)2022
    Preprint.
  • Bonchi, F., Santamaria, A., Seeber, J., & SobociÅ„ski, P. (2021). On Doctrines and Cartesian Bicategories. Retrieved from http://dx.doi.org/10.4230/LIPIcs.CALCO.2021.10
    Preprint.
  • Bonchi, F., & Santamaria, A. (2021). Combining semilattices and semimodules. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 12650 (pp. 102-123). Online: Springer International Publishing. doi:10.1007/978-3-030-71995-1_6
    Conference publication. .
  • McCusker, G., & Santamaria, A. (2021). Composing dinatural transformations: towards a calculus of substitution. JOURNAL OF PURE AND APPLIED ALGEBRA, 225(10), a106689 1-57. doi:10.1016/j.jpaa.2021.106689
    Article. .

2020

  • Bonchi, F., & Santamaria, A. (2020). Combining Semilattices and Semimodules. Retrieved from http://dx.doi.org/10.1007/978-3-030-71995-1_6
    Preprint.
  • McCusker, G., & Santamaria, A. (2020). Composing Dinatural Transformations: Towards a Calculus of Substitution. Retrieved from http://dx.doi.org/10.1016/j.jpaa.2021.106689
    Preprint.
  • Hermida, C., Reddy, U., Robinson, E., & Santamaria, A. (2020). Bisimulation as a Logical Relation. Retrieved from http://arxiv.org/abs/2003.13542v2
    Preprint.

2019

  • Frosoni, G., Rosolini, G., & Santamaria, A. (2019). Frames and topological algebras for a double-power monad. Journal of Logic and Analysis, 11, 1-21. doi:10.4115/jla.2019.11.FT5
    Article. .

2018

  • McCusker, G., & Santamaria, A. (2018). On compositionality of dinatural transformations. In Leibniz International Proceedings in Informatics, LIPIcs Vol. 119 (pp. 1-22). Birmingham, UK: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. doi:10.4230/LIPIcs.CSL.2018.33
    Conference publication. .