( en | de | ru )

 

Disambiguation of "Dagnino, Francesco"

Author of the publication

copydeleteadd this publication to your clipboard
Logical Foundations of Quantitative Equality.

, and . LICS, page 16:1-16:13. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Francesco Bettella

Protein secondary structure prediction using optimized scoring functions: a comparative statistical method. FU Berlin, (2009)

Francesco Solimena

Francesco Pinosa

Francesco Knechtli

Francesco Virili

 

Other publications of authors with the same name

Doctrines, modalities and comonads., and . CoRR, (2021)QueryAGT: Asynchronous global types in co-logic programming., and . Sci. Comput. Program., (2023)Towards a model of corecursion with default., , and . FTfJP@ECOOP, page 9. ACM, (2016)Modeling Infinite Behaviour by Corules., , and . ECOOP, volume 109 of LIPIcs, page 21:1-21:31. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)A Java-Like Calculus with User-Defined Coeffects., , , and . ICTCS, volume 3284 of CEUR Workshop Proceedings, page 66-78. CEUR-WS.org, (2022)A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential., and . Log. Methods Comput. Sci., (2024)Logical Foundations of Quantitative Equality., and . LICS, page 16:1-16:13. ACM, (2022)Corecursive Featherweight Java Revisited., , , and . ICTCS, volume 2504 of CEUR Workshop Proceedings, page 158-170. CEUR-WS.org, (2019)Extending Coinductive Logic Programming with Co-Facts., , and . CoALP-Ty, volume 258 of EPTCS, page 1-18. (2016)Flexible Coinduction in Agda., , and . ITP, volume 193 of LIPIcs, page 13:1-13:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)