Francesco Gavazzo

According to our database, Francesco Gavazzo authored at least 33 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential.

Francesco Dagnino, Francesco Gavazzo

Log. Methods Comput. Sci., 2024

Monadic Intersection Types, Relationally (Extended Version).

Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni

CoRR, 2024

Monadic Intersection Types, Relationally.

Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni

Proceedings of the Programming Languages and Systems, 2024

2023

Elements of Quantitative Rewriting.

Francesco Gavazzo, Cecilia Di Florio

Proc. ACM Program. Lang., January, 2023

Preface to the special issue on metric and differential semantics.

Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone

Math. Struct. Comput. Sci., 2023

Allegories of Symbolic Manipulations.

Francesco Gavazzo

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Open Higher-Order Logic.

Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

A relational theory of effects and coeffects.

Ugo Dal Lago, Francesco Gavazzo

Proc. ACM Program. Lang., 2022

Effectful program distancing.

Ugo Dal Lago, Francesco Gavazzo

Proc. ACM Program. Lang., 2022

On Feller continuity and full abstraction.

Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo

Proc. ACM Program. Lang., 2022

Open Higher-Order Logic (Long Version).

Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen

CoRR, 2022

On Feller Continuity and Full Abstraction (Long Version).

Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo

CoRR, 2022

Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems.

Francesco Gavazzo, Cecilia Di Florio

CoRR, 2022

On Reinforcement Learning, Effect Handlers, and the State Monad.

Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen

CoRR, 2022

A Fibrational Tale of Operational Logical Relations.

Francesco Dagnino, Francesco Gavazzo

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems.

Ugo Dal Lago, Francesco Gavazzo

CoRR, 2021

Modal Reasoning = Metric Reasoning, via Lawvere.

Ugo Dal Lago, Francesco Gavazzo

CoRR, 2021

A Relational Theory of Monadic Rewriting Systems, Part I.

Francesco Gavazzo, Claudia Faggian

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs.

Ugo Dal Lago, Francesco Gavazzo

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

A Diagrammatic Calculus for Algebraic Effects.

Ugo Dal Lago, Francesco Gavazzo

CoRR, 2020

Differential Logical Relations Part II: Increments and Derivatives.

Ugo Dal Lago, Francesco Gavazzo

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem.

Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo

Proceedings of the Programming Languages and Systems, 2020

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

PhD thesis, 2019

On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice.

Ugo Dal Lago, Francesco Gavazzo

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

Differential Logical Relations, Part I: The Simply-Typed Case (Long Version).

Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu

CoRR, 2019

Coinductive Techniques for Higher-order Languages with Algebraic Effect (text not included).

Francesco Gavazzo

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Differential Logical Relations, Part I: The Simply-Typed Case.

Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Effectful Normal Form Bisimulation.

Ugo Dal Lago, Francesco Gavazzo

Proceedings of the Programming Languages and Systems, 2019

2018

Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version).

Francesco Gavazzo

CoRR, 2018

Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances.

Francesco Gavazzo

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version).

Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy

CoRR, 2017

Effectful applicative bisimilarity: Monads, relators, and Howe's method.

Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Effectful Applicative Similarity for Call-by-Name Lambda Calculi.

Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017