| 2026 | LICS | An Algebraic Approach to Formal System Metatheory. | Francesco Gavazzo |
| 2024 | ESOP | Monadic Intersection Types, Relationally. | Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni |
| 2023 | CSL | Open Higher-Order Logic. | Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen |
| 2023 | LICS | Allegories of Symbolic Manipulations. | Francesco Gavazzo |
| 2022 | FSCD | A Fibrational Tale of Operational Logical Relations. | Francesco Dagnino, Francesco Gavazzo |
| 2021 | FSCD | Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs. | Ugo Dal Lago, Francesco Gavazzo |
| 2021 | LICS | A Relational Theory of Monadic Rewriting Systems, Part I. | Francesco Gavazzo, Claudia Faggian |
| 2020 | ESOP | On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. | Gilles Barthe, Raphalle Crubill, Ugo Dal Lago, Francesco Gavazzo |
| 2019 | ESOP | Effectful Normal Form Bisimulation. | Ugo Dal Lago, Francesco Gavazzo |
| 2019 | ICALP | Differential Logical Relations, Part I: The Simply-Typed Case. | Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu |
| 2018 | LICS | Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances. | Francesco Gavazzo |
| 2017 | LICS | Effectful applicative bisimilarity: Monads, relators, and Howe's method. | Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy |