Journal and Conference Papers

  • Francesco Dagnino and Giuseppe Rosolini. Doctrines, modalities and comonads. Mathematical Structures in Computer Scienc, 2021. (To appear)

  • Francesco Dagnino. Foundations of regular coinduction. Logical Methods in Computer Science, 2021. (To appear) pdf

  • Francesco Dagnino, Paola Giannini, and Mariangiola Dezani-Ciancaglini. Deconfined Global Types for Asynchronous Sessions. In: Damiani, F. and Dardha, O. (eds.) Coordination Models and Languages - 23rd International Conference, COORDINATION 2021, pp. 41–60, Springer, 2021.

  • Riccardo Bianchini and Francesco Dagnino. Asynchronous Global Types in Co-logic Programming. In: Damiani, F. and Dardha, O. (eds.) Coordination Models and Languages - 23rd International Conference, COORDINATION 2021, pp. 134–146, Springer, 2021.

  • Luca Ciccone, Francesco Dagnino, and Elena Zucca. Flexible Coinduction in Agda. In: Cohen, L. and Kaliszyk, C. (eds.) 12th International Conference on Interactive Theorem Proving, ITP 2021, pp. 13:1–13:19, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2021.

view all papers

Preprints

  • Francesco Dagnino. A meta-theory for big-step semantics (August 2021), submitted to journal pdf

PhD Thesis

Francesco Dagnino. Flexible CoinDuction. abstract
supervised by Davide Ancona and Elena Zucca
DIBRIS - Università di Genova
PhD Program in Computer Scince and System Engineering, Cycle XXXIII (January 2021)
download pdf

Software

Selected Talks

Workshop Papaers