Sfoglia per Autore
Doctrines, modalities and comonads
2021-01-01 Dagnino, Francesco; Rosolini, Giuseppe
Flexible Coinduction
2021-01-13 Dagnino, Francesco
A Java-like calculus with user-defined coeffects
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
A Meta-theory for Big-step Semantics
2022-01-01 Dagnino, Francesco
Fair Termination of Multiparty Sessions
2022-01-01 Ciccone, L.; Dagnino, F.; Padovani, L.
A Fibrational Tale of Operational Logical Relations
2022-01-01 Dagnino, F.; Gavazzo, F.
Coeffects for sharing and mutation
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena; Servetto, Marco
Logical Foundations of Qantitative Equality
2022-01-01 Dagnino, F.; Pasquali, F.
Deconfined Global Types for Asynchronous Sessions
2023-01-01 Dagnino, F; Giannini, P; Dezani-Ciancaglini, M
Quotients and Extensionality in Relational Doctrines
2023-01-01 Dagnino, F.; Pasquali, F.
Multi-Graded Featherweight Java
2023-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
QueryAGT: Asynchronous global types in co-logic programming[Formula presented]
2023-01-01 Bianchini, R.; Dagnino, F.
A Java-like calculus with heterogeneous coeffects
2023-01-01 Bianchini, R; Dagnino, F; Giannini, P; Zucca, E
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
2023-01-01 Dagnino, F.; Farjudian, A.; Moggi, E.
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 |
---|---|---|---|
Doctrines, modalities and comonads | 1-gen-2021 | Dagnino, Francesco; Rosolini, Giuseppe | |
Flexible Coinduction | 13-gen-2021 | Dagnino, Francesco | |
A Java-like calculus with user-defined coeffects | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
A Meta-theory for Big-step Semantics | 1-gen-2022 | Dagnino, Francesco | |
Fair Termination of Multiparty Sessions | 1-gen-2022 | Ciccone, L.; Dagnino, F.; Padovani, L. | |
A Fibrational Tale of Operational Logical Relations | 1-gen-2022 | Dagnino, F.; Gavazzo, F. | |
Coeffects for sharing and mutation | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena; Servetto, Marco | |
Logical Foundations of Qantitative Equality | 1-gen-2022 | Dagnino, F.; Pasquali, F. | |
Deconfined Global Types for Asynchronous Sessions | 1-gen-2023 | Dagnino, F; Giannini, P; Dezani-Ciancaglini, M | |
Quotients and Extensionality in Relational Doctrines | 1-gen-2023 | Dagnino, F.; Pasquali, F. | |
Multi-Graded Featherweight Java | 1-gen-2023 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
QueryAGT: Asynchronous global types in co-logic programming[Formula presented] | 1-gen-2023 | Bianchini, R.; Dagnino, F. | |
A Java-like calculus with heterogeneous coeffects | 1-gen-2023 | Bianchini, R; Dagnino, F; Giannini, P; Zucca, E | |
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad | 1-gen-2023 | Dagnino, F.; Farjudian, A.; Moggi, E. | |
Resource-Aware Soundness for Big-Step Semantics | 1-gen-2023 | Bianchini, R.; Dagnino, F.; Giannini, P.; Zucca, E. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile