Francesco Gavazzo

ORCID

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 37

Top Venues

CoRR

Proc. ACM Program. Lang.

LICS

Theor. Comput. Sci.

University of Bologna, Italy (PHD)

Education History

University of Bologna, Italy

PHD

Publications

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

Francesco Gavazzo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Francesco Gavazzo