GAVAZZO, FRANCESCO
GAVAZZO, FRANCESCO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Monadic Intersection Types, Relationally
2024 Gavazzo, F.; Treglia, R.; Vanoni, G.
Allegories of Symbolic Manipulations
2023 Gavazzo, F.
Elements of Quantitative Rewriting
2023 Gavazzo, F.; Di Florio, C.
Open Higher-Order Logic
2023 Lago, U. D.; Gavazzo, F.; Ghyselen, A.
A Fibrational Tale of Operational Logical Relations
2022 Dagnino, F.; Gavazzo, F.
A relational theory of effects and coeffects
2022 Dal Lago, U.; Gavazzo, F.
Effectful program distancing
2022 Dal Lago, U.; Gavazzo, F.
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 Lago, U. D.; Gavazzo, F.
Differential logical relations* part II: Increments and derivatives
2020 Lago, U. D.; 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.; Lago, U. D.; Gavazzo, F.
Differential logical relations, Part I: The simply-typed case
2019 Lago, U. D.; 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, U. D.; Gavazzo, F.
Quantitative behavioural reasoning for higher-order effectful programs: Applicative distances
2018 Gavazzo, F.
Effectful applicative bisimilarity: Monads, relators, and Howe's method
2017 Lago, U. D.; Gavazzo, F.; Levy, P. B.
Effectful applicative similarity for call-by-name lambda calculi
2017 Lago, U. D.; Gavazzo, F.; Tanaka, R.