Alessio Santamaria
From MaRDI portal
Person:2031558
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Logical predicates in higher-order mathematical operational semantics | 2024-10-30 | Paper |
| scientific article; zbMATH DE number 7774236 (Why is no real title available?) (available as arXiv preprint) | 2023-12-08 | Paper |
| Convexity via Weak Distributive Laws Logical Methods in Computer Science | 2023-01-09 | Paper |
| Bisimulation as a logical relation Mathematical Structures in Computer Science | 2022-12-20 | Paper |
| On Compositionality of Dinatural Transformations | 2022-05-28 | Paper |
| Combining semilattices and semimodules (available as arXiv preprint) | 2021-10-18 | Paper |
| Composing dinatural transformations: towards a calculus of substitution Journal of Pure and Applied Algebra | 2021-06-09 | Paper |
| Combining Semilattices and Semimodules (available as arXiv preprint) | 2020-12-29 | Paper |
| Frames and topological algebras for a double-power monad | 2020-01-22 | Paper |
Research outcomes over time
This page was built for person: Alessio Santamaria
