Effectful applicative bisimilarity: Monads, relators, and Howe's method. - Ugo Dal Lago; Francesco Gavazzo; Paul Blain Levy (LICS, 2017)

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version). - Ugo Dal Lago; Francesco Gavazzo; Paul Blain Levy (CoRR, 2017)

Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances. - Francesco Gavazzo (LICS, 2018)

Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version). - Francesco Gavazzo (CoRR, 2018)

Effectful Normal Form Bisimulation. - Ugo Dal Lago; Francesco Gavazzo (ESOP, 2019)

Differential Logical Relations, Part I: The Simply-Typed Case. - Ugo Dal Lago; Francesco Gavazzo; Akira Yoshimizu (ICALP, 2019)

Coinductive Techniques for Higher-order Languages with Algebraic Effect (text not included). - Francesco Gavazzo (ICTCS, 2019)

Differential Logical Relations, Part I: The Simply-Typed Case (Long Version). - Ugo Dal Lago; Francesco Gavazzo; Akira Yoshimizu (CoRR, 2019)

On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice. - Ugo Dal Lago; Francesco Gavazzo (MFPS, 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)

On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. - Gilles Barthe; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo (ESOP, 2020)

A Diagrammatic Calculus for Algebraic Effects. - Ugo Dal Lago; Francesco Gavazzo (CoRR, 2020)

Effectful applicative similarity for call-by-name lambda calculi. - Ugo Dal Lago; Francesco Gavazzo; Ryo Tanaka (Theor. Comput. Sci., 2020)

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. - Ugo Dal Lago; Francesco Gavazzo (FSCD, 2021)

A Relational Theory of Monadic Rewriting Systems, Part I. - Francesco Gavazzo; Claudia Faggian (LICS, 2021)

Modal Reasoning = Metric Reasoning, via Lawvere. - Ugo Dal Lago; Francesco Gavazzo (CoRR, 2021)

Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems. - Ugo Dal Lago; Francesco Gavazzo (CoRR, 2021)

Differential logical relations, part II increments and derivatives. - Ugo Dal Lago; Francesco Gavazzo (Theor. Comput. Sci., 2021)

A Fibrational Tale of Operational Logical Relations. - Francesco Dagnino; Francesco Gavazzo (FSCD, 2022)

On Reinforcement Learning, Effect Handlers, and the State Monad. - Ugo Dal Lago; Francesco Gavazzo; Alexis Ghyselen (CoRR, 2022)

Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems. - Francesco Gavazzo; Cecilia Di Florio (CoRR, 2022)

On Feller Continuity and Full Abstraction (Long Version). - Gilles Barthe; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo (CoRR, 2022)

Open Higher-Order Logic (Long Version). - Ugo Dal Lago; Francesco Gavazzo; Alexis Ghyselen (CoRR, 2022)

On Feller continuity and full abstraction. - Gilles Barthe; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo (Proc. ACM Program. Lang., 2022)

Effectful program distancing. - Ugo Dal Lago; Francesco Gavazzo (Proc. ACM Program. Lang., 2022)

A relational theory of effects and coeffects. - Ugo Dal Lago; Francesco Gavazzo (Proc. ACM Program. Lang., 2022)

Open Higher-Order Logic. - Ugo Dal Lago; Francesco Gavazzo; Alexis Ghyselen (CSL, 2023)

Allegories of Symbolic Manipulations. - Francesco Gavazzo (LICS, 2023)

Preface to the special issue on metric and differential semantics. - Ugo Dal Lago; Francesco Gavazzo; Paolo Pistone (Math. Struct. Comput. Sci., 2023)

Elements of Quantitative Rewriting. - Francesco Gavazzo; Cecilia Di Florio (Proc. ACM Program. Lang., 2023)

Monadic Intersection Types, Relationally. - Francesco Gavazzo; Riccardo Treglia; Gabriele Vanoni (ESOP (1), 2024)

Monadic Intersection Types, Relationally (Extended Version). - Francesco Gavazzo; Riccardo Treglia; Gabriele Vanoni (CoRR, 2024)

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential. - Francesco Dagnino; Francesco Gavazzo (Log. Methods Comput. Sci., 2024)