Alessio Santamaria
From MaRDI portal
Person:2031558
Available identifiers
zbMath Open santamaria.alessioMaRDI QIDQ2031558
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 |
| https://portal.mardi4nfdi.de/entity/Q6061668 | 2023-12-08 | Paper |
| Convexity via Weak Distributive Laws | 2023-01-09 | Paper |
| Bisimulation as a logical relation | 2022-12-20 | Paper |
| On Compositionality of Dinatural Transformations | 2022-05-28 | Paper |
| Combining semilattices and semimodules | 2021-10-18 | Paper |
| Composing dinatural transformations: towards a calculus of substitution | 2021-06-09 | Paper |
| Combining Semilattices and Semimodules | 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
