受强制性开放获取政策约束的文章 - Francesco Dagnino了解详情
可在其他位置公开访问的文章：7 篇
Deconfined global types for asynchronous sessions
F Dagnino, P Giannini, M Dezani-Ciancaglini
Logical Methods in Computer Science 19, 2023
强制性开放获取政策： Government of Italy
Modeling Infinite Behaviour by Corules
D Ancona, F Dagnino, E Zucca
32nd European Conference on Object-Oriented Programming, ECOOP 2018 109, 21 …, 2018
强制性开放获取政策： Government of Italy
Logical foundations of quantitative equality
F Dagnino, F Pasquali
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
强制性开放获取政策： Government of Italy
Coeffects for sharing and mutation
R Bianchini, F Dagnino, P Giannini, E Zucca, M Servetto
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 870-898, 2022
强制性开放获取政策： Government of Italy
A Java-Like Calculus with User-Defined Coeffects.
R Bianchini, F Dagnino, P Giannini, E Zucca
ICTCS, 66-78, 2022
强制性开放获取政策： Government of Italy
A big step from finite to infinite computations
D Ancona, F Dagnino, J Rot, E Zucca
Science of Computer Programming 197, 102492, 2020
强制性开放获取政策： Government of Italy
A fibrational tale of operational logical relations
F Dagnino, F Gavazzo
FSCD 2022-7th International Conference on Formal Structures for Computation …, 2022
强制性开放获取政策： European Commission, Government of Italy
出版信息和资助信息由计算机程序自动确定