DAGNINO, FRANCESCO
DAGNINO, FRANCESCO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A big step from finite to infinite computations
2020-01-01 Ancona, D.; Dagnino, F.; Rot, J.; Zucca, E.
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
2024-01-01 Dagnino, Francesco; Gavazzo, Francesco
A Java-like calculus with heterogeneous coeffects
2023-01-01 Bianchini, R; Dagnino, F; Giannini, P; Zucca, E
A Meta-theory for Big-step Semantics
2022-01-01 Dagnino, Francesco
CAUCHY COMPLETIONS AND THE RULE OF UNIQUE CHOICE IN RELATIONAL DOCTRINES
2025-01-01 Dagnino, F.; Pasquali, F.
Coaxioms: Flexible coinductive definitions by inference systems
2019-01-01 Dagnino, F.
Coeffects for sharing and mutation
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena; Servetto, Marco
Deconfined Global Types for Asynchronous Sessions
2023-01-01 Dagnino, F; Giannini, P; Dezani-Ciancaglini, M
Doctrines, modalities and comonads
2021-01-01 Dagnino, Francesco; Rosolini, Giuseppe
Extending coinductive logic programming with co-facts
2017-01-01 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Fair termination of multiparty sessions
2024-01-01 Ciccone, L.; Dagnino, F.; Padovani, L.
Flexible coinductive logic programming
2020-01-01 Dagnino, F.; Ancona, D.; Zucca, E.
Foundations of regular coinduction
2021-01-01 Dagnino, F.
QUANTITATIVE EQUALITY IN SUBSTRUCTURAL LOGIC VIA LIPSCHITZ DOCTRINES
2025-01-01 Dagnino, F.; Pasquali, F.
QueryAGT: Asynchronous global types in co-logic programming[Formula presented]
2023-01-01 Bianchini, R.; Dagnino, F.
Reasoning on Divergent Computations with Coaxioms
2017-01-01 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Resource-Aware Soundness for Big-Step Semantics
2023-01-01 Bianchini, R.; Dagnino, F.; Giannini, P.; Zucca, E.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A big step from finite to infinite computations | 1-gen-2020 | Ancona, D.; Dagnino, F.; Rot, J.; Zucca, E. | |
| A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential | 1-gen-2024 | Dagnino, Francesco; Gavazzo, Francesco | |
| A Java-like calculus with heterogeneous coeffects | 1-gen-2023 | Bianchini, R; Dagnino, F; Giannini, P; Zucca, E | |
| A Meta-theory for Big-step Semantics | 1-gen-2022 | Dagnino, Francesco | |
| CAUCHY COMPLETIONS AND THE RULE OF UNIQUE CHOICE IN RELATIONAL DOCTRINES | 1-gen-2025 | Dagnino, F.; Pasquali, F. | |
| Coaxioms: Flexible coinductive definitions by inference systems | 1-gen-2019 | Dagnino, F. | |
| Coeffects for sharing and mutation | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena; Servetto, Marco | |
| Deconfined Global Types for Asynchronous Sessions | 1-gen-2023 | Dagnino, F; Giannini, P; Dezani-Ciancaglini, M | |
| Doctrines, modalities and comonads | 1-gen-2021 | Dagnino, Francesco; Rosolini, Giuseppe | |
| Extending coinductive logic programming with co-facts | 1-gen-2017 | Ancona, Davide; Dagnino, Francesco; Zucca, Elena | |
| Fair termination of multiparty sessions | 1-gen-2024 | Ciccone, L.; Dagnino, F.; Padovani, L. | |
| Flexible coinductive logic programming | 1-gen-2020 | Dagnino, F.; Ancona, D.; Zucca, E. | |
| Foundations of regular coinduction | 1-gen-2021 | Dagnino, F. | |
| QUANTITATIVE EQUALITY IN SUBSTRUCTURAL LOGIC VIA LIPSCHITZ DOCTRINES | 1-gen-2025 | Dagnino, F.; Pasquali, F. | |
| QueryAGT: Asynchronous global types in co-logic programming[Formula presented] | 1-gen-2023 | Bianchini, R.; Dagnino, F. | |
| Reasoning on Divergent Computations with Coaxioms | 1-gen-2017 | Ancona, Davide; Dagnino, Francesco; Zucca, Elena | |
| Resource-Aware Soundness for Big-Step Semantics | 1-gen-2023 | Bianchini, R.; Dagnino, F.; Giannini, P.; Zucca, E. |