GAVAZZO, FRANCESCO
GAVAZZO, FRANCESCO
ARAG - AREA FINANZA E CONTABILITA'
Collaboratori
Mostra
records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.022 secondi).
Open Higher-Order Logic
2023 Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
A Fibrational Tale of Operational Logical Relations
2022 Francesco Dagnino; Francesco Gavazzo
A Relational Theory of Effects and Coeffects
2022 Dal Lago, U; Gavazzo, F
Effectful program distancing
2022 Ugo Dal Lago; Francesco Gavazzo
On Feller Continuity and Full Abstraction
2022 Barthe, G; Crubille, R; Dal Lago, U; Gavazzo, F
A Relational Theory of Monadic Rewriting Systems, Part i
2021 Gavazzo F.; Faggian C.
Differential logical relations, part II increments and derivatives
2021 Dal Lago U.; Gavazzo F.
Resource transition systems and full abstraction for linear higher-order effectful programs
2021 Dal Lago U.; Gavazzo F.
Effectful applicative similarity for call-by-name lambda calculi
2020 Dal Lago U.; Gavazzo F.; Tanaka R.
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
2020 Barthe G.; Crubille R.; Dal Lago U.; Gavazzo F.
Differential logical relations, Part I: The simply-typed case
2019 Dal Lago U.; Gavazzo F.; Yoshimizu A.
Effectful Normal Form Bisimulation
2019 Dal Lago U.; Gavazzo F.
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice
2019 Lago, Ugo Dal; Gavazzo, Francesco
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances
2018 Francesco Gavazzo
Effectful applicative bisimilarity: Monads, relators, and Howe's method
2017 Dal Lago, Ugo; Gavazzo, Francesco; Levy, Paul Blain
Effectful applicative similarity for call-by-name lambda calculi
2017 Ugo Dal, Lago; Gavazzo, Francesco; Tanaka, Ryo
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Open Higher-Order Logic | Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen | 2023-01-01 | - | Klin, Bartek and Pimentel, Elaine | 4.01 Contributo in Atti di convegno | LIPIcs-CSL-2023-17.pdf |
| A Fibrational Tale of Operational Logical Relations | Francesco Dagnino; Francesco Gavazzo | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| A Relational Theory of Effects and Coeffects | Dal Lago, U; Gavazzo, F | 2022-01-01 | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | 1.01 Articolo in rivista | 3498692.pdf |
| Effectful program distancing | Ugo Dal Lago; Francesco Gavazzo | 2022-01-01 | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | 1.01 Articolo in rivista | popl2022a.pdf |
| On Feller Continuity and Full Abstraction | Barthe, G; Crubille, R; Dal Lago, U; Gavazzo, F | 2022-01-01 | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | 1.01 Articolo in rivista | icfp2022a.pdf |
| A Relational Theory of Monadic Rewriting Systems, Part i | Gavazzo F.; Faggian C. | 2021-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | On_Monadic_Rewriting_Systems__Part_I (5).pdf |
| Differential logical relations, part II increments and derivatives | Dal Lago U.; Gavazzo F. | 2021-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | TCS895-2021.pdf |
| Resource transition systems and full abstraction for linear higher-order effectful programs | Dal Lago U.; Gavazzo F. | 2021-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | fscd2021.pdf |
| Effectful applicative similarity for call-by-name lambda calculi | Dal Lago U.; Gavazzo F.; Tanaka R. | 2020-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | main.pdf |
| On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem | Barthe G.; Crubille R.; Dal Lago U.; Gavazzo F. | 2020-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | esop2020.pdf |
| Differential logical relations, Part I: The simply-typed case | Dal Lago U.; Gavazzo F.; Yoshimizu A. | 2019-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | main.pdf |
| Effectful Normal Form Bisimulation | Dal Lago U.; Gavazzo F. | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice | Lago, Ugo Dal; Gavazzo, Francesco | 2019-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances | Francesco Gavazzo | 2018-01-01 | - | Anuj Dawar, Erich Grädel | 4.01 Contributo in Atti di convegno | - |
| Effectful applicative bisimilarity: Monads, relators, and Howe's method | Dal Lago, Ugo; Gavazzo, Francesco; Levy, Paul Blain | 2017-01-01 | PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE | IEEE | 4.01 Contributo in Atti di convegno | - |
| Effectful applicative similarity for call-by-name lambda calculi | Ugo Dal, Lago; Gavazzo, Francesco; Tanaka, Ryo | 2017-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | - |