Francesco Dagnino

Francesco Dagnino

Università degli Studi di Genova - Genoa / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 5668849
University of Genoa
person_outline Francesco Dagnino's MOST POPULAR ARTICLES
1-) Generalizing inference systems by coaxiomsD Ancona, F Dagnino, E Zucca26th European Symposium on Programming, ESOP 2017, 29-55, 2017322017
2-) Coaxioms: flexible coinductive definitions by inference systemsF DagninoLogical Methods in Computer Science 15 (1), 26:1-26:48, 2019232019
3-) Reasoning on divergent computations with coaxiomsD Ancona, F Dagnino, E ZuccaProceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017212017
4-) Deconfined global types for asynchronous sessionsF Dagnino, P Giannini, M Dezani-CiancagliniLogical Methods in Computer Science 19, 2023202023
5-) Foundations of regular coinductionF DagninoLogical Methods in Computer Science 17, 2021142021