Francesco Gavazzo

39 papers A* 5A 2B 4Journal 23Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Monadic Intersection Types, Relationally, and Ordered.
ACM Trans. Program. Lang. Syst.
Zeinab Galal, Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
2024 J jnl
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential.
Log. Methods Comput. Sci.
Francesco Dagnino, Francesco Gavazzo
2024 J jnl
Monadic Intersection Types, Relationally (Extended Version).
CoRR
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
2024 — conf
Monadic Intersection Types, Relationally.
ESOP (1)
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
2023 J jnl
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential.
CoRR
Francesco Dagnino, Francesco Gavazzo
2023 A* conf
Allegories of Symbolic Manipulations.
LICS
Francesco Gavazzo
2023 J jnl
Allegories of Symbolic Manipulations.
CoRR
Francesco Gavazzo
2023 J jnl
Elements of Quantitative Rewriting.
Proc. ACM Program. Lang.
Francesco Gavazzo, Cecilia Di Florio
2023 B conf
Open Higher-Order Logic.
CSL
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
2023 J jnl
Preface to the special issue on metric and differential semantics.
Math. Struct. Comput. Sci.
Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone
2022 B conf
A Fibrational Tale of Operational Logical Relations.
FSCD
Francesco Dagnino, Francesco Gavazzo
2022 J jnl
A relational theory of effects and coeffects.
Proc. ACM Program. Lang.
Ugo Dal Lago, Francesco Gavazzo
2022 J jnl
Effectful program distancing.
Proc. ACM Program. Lang.
Ugo Dal Lago, Francesco Gavazzo
2022 J jnl
On Feller Continuity and Full Abstraction (Long Version).
CoRR
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
2022 J jnl
On Feller continuity and full abstraction.
Proc. ACM Program. Lang.
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
2022 J jnl
On Reinforcement Learning, Effect Handlers, and the State Monad.
CoRR
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
2022 J jnl
Open Higher-Order Logic (Long Version).
CoRR
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
2022 J jnl
Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems.
CoRR
Francesco Gavazzo, Cecilia Di Florio
2021 A* conf
A Relational Theory of Monadic Rewriting Systems, Part I.
LICS
Francesco Gavazzo, Claudia Faggian
2021 J jnl
Differential logical relations, part II increments and derivatives.
Theor. Comput. Sci.
Ugo Dal Lago, Francesco Gavazzo
2021 J jnl
Modal Reasoning = Metric Reasoning, via Lawvere.
CoRR
Ugo Dal Lago, Francesco Gavazzo
2021 B conf
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs.
FSCD
Ugo Dal Lago, Francesco Gavazzo
2021 J jnl
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems.
CoRR
Ugo Dal Lago, Francesco Gavazzo
2020 J jnl
A Diagrammatic Calculus for Algebraic Effects.
CoRR
Ugo Dal Lago, Francesco Gavazzo
2020 — conf
Differential Logical Relations Part II: Increments and Derivatives.
ICTCS
Ugo Dal Lago, Francesco Gavazzo
2020 J jnl
Effectful applicative similarity for call-by-name lambda calculi.
Theor. Comput. Sci.
Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka
2020 A conf
On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem.
ESOP
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
2020 J jnl
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem.
CoRR
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
2019 — —
Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects. (Equivalences coinductives et métriques pour les langages d'ordre supérieur avec des effets algébriques).
Francesco Gavazzo
2019 — conf
Coinductive Techniques for Higher-order Languages with Algebraic Effect (text not included).
ICTCS
Francesco Gavazzo
2019 J jnl
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version).
CoRR
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
2019 A* conf
Differential Logical Relations, Part I: The Simply-Typed Case.
ICALP
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
2019 A conf
Effectful Normal Form Bisimulation.
ESOP
Ugo Dal Lago, Francesco Gavazzo
2019 B conf
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice.
MFPS
Ugo Dal Lago, Francesco Gavazzo
2018 J jnl
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version).
CoRR
Francesco Gavazzo
2018 A* conf
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances.
LICS
Francesco Gavazzo
2017 J jnl
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version).
CoRR
Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy
2017 — conf
Effectful Applicative Similarity for Call-by-Name Lambda Calculi.
ICTCS/CILC
Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka
2017 A* conf
Effectful applicative bisimilarity: Monads, relators, and Howe's method.
LICS
Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy