| Combining Semilattices and Semimodules F Bonchi, A Santamaria 24th International Conference in Foundations of Software Science and …, 2021 | 11 | 2021 |
| Bisimulation as a logical relation C Hermida, U Reddy, E Robinson, A Santamaria Mathematical Structures in Computer Science 32 (4), 442-471, 2022 | 8 | 2022 |
| On doctrines and cartesian bicategories F Bonchi, A Santamaria, J Seeber, P Sobociński arXiv preprint arXiv:2106.08142, 2021 | 7 | 2021 |
| On compositionality of dinatural transformations G McCusker, A Santamaria 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018 | 4 | 2018 |
| Deconstructing the calculus of relations with tape diagrams F Bonchi, A Di Giorgio, A Santamaria Proceedings of the ACM on Programming Languages 7 (POPL), 1864-1894, 2023 | 3 | 2023 |
| Towards a Godement Calculus for Dinatural Transformations A Santamaria University of Bath, 2019 | 3 | 2019 |
| Tape diagrams for rig categories with finite biproducts F Bonchi, A Di Giorgio, A Santamaria University of Pisa, 2022 | 2 | 2022 |
| Composing Dinatural Transformations: Towards a Calculus of Substitution G McCusker, A Santamaria Journal of Pure and Applied Algebra 225 (10), 106689, 2021 | 2* | 2021 |
| Logical Predicates in Higher-Order Mathematical Operational Semantics S Goncharov, A Santamaria, L Schröder, S Tsampas, H Urbat International Conference on Foundations of Software Science and Computation …, 2024 | 1 | 2024 |
| Frames and topological algebras for a double-power monad G Frosoni, G Rosolini, A Santamaria Journal of Logic and Analysis 11, 2019 | 1 | 2019 |
| Convexity via Weak Distributive Laws F Bonchi, A Santamaria Logical Methods in Computer Science 18, 2022 | | 2022 |
| The Theory of Traces for Systems with Nondeterminism, Probability, and Termination A Sokolova, F Bonchi, V Vignudelli Logical Methods in Computer Science 2022 (18 (2)), 2022 | | 2022 |
| Distribution Bisimilarity via the Power of Convex Algebras A Sokolova, F Bonchi, A Silva Logical Methods in Computer Science 2021 (17), 2021 | | 2021 |
| A Solution for the Compositionality Problem of Dinatural Transformations G McCusker, A Santamaria | | 2019 |
| Substitution in Deep Inference via Atomic Flows A Santamaria | | 2016 |
| INFORME DEL SEMINARIO SOBRE PROGRAMAS MASIVOS DE DETECCION OPORTUNA DE CANCER CERVICOUTERINO. CIUDAD DE MEXICO. 22-26 DE OCTUBRE DE 1973.* AMRO-5109 R PRADO, A SANTAMARIA, A SILVA | | 1973 |
Filippo BonchiCNRS ENS-Lyon在 ens-lyon.fr 的电子邮件经过验证
