受强制性开放获取政策约束的文章 - Alessio Santamaria了解详情
可在其他位置公开访问的文章：5 篇
Bisimulation as a logical relation
C Hermida, U Reddy, E Robinson, A Santamaria
Mathematical Structures in Computer Science 32 (4), 442-471, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, Government of Italy
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
强制性开放获取政策： Government of Italy
On compositionality of dinatural transformations
G McCusker, A Santamaria
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Composing Dinatural Transformations: Towards a Calculus of Substitution
G McCusker, A Santamaria
Journal of Pure and Applied Algebra 225 (10), 106689, 2021
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, Government of Italy
Convexity via weak distributive laws
F Bonchi, A Santamaria
Logical Methods in Computer Science 18, 2022
强制性开放获取政策： Government of Italy
出版信息和资助信息由计算机程序自动确定