Publications

My DBLP entry should be always updated. Authors are always listed in alphabetical order.

Doctoral Dissertation

G. Vanoni. On Reasonable Space and Time Cost Models for the λ-Calculus. Università di Bologna 2022. [ link ]

Journal papers

1. Z. Galal, F. Gavazzo, R. Treglia and G. Vanoni. Monadic Intersection Types, Relationally and Ordered. Accepted on TOPLAS.
2. B. Accattoli, A. Lancelot, G. Manzonetto and G.Vanoni. Interaction Equivalence. Accepted at POPL 2025. [ link ]
3. B. Accattoli, U. Dal Lago and G. Vanoni. Reasonable Space for the λ-Calculus, Logarithmically. Accepted in LMCS. [ link ]
4. M. Avanzini, G. Bathes, B. Gregoire, G. Moser and G. Vanoni. Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs. OOPSLA 2024. [ link ]
5. C. Faggian, D. Pautasso and G. Vanoni. Higher-Order Bayesian Networks, Exactly. POPL 2024. [ link ]
6. B. Accattoli, U. Dal Lago and G. Vanoni. Multi Types and Reasonable Space. ICFP 2022. Winner of the Distinguished Paper Award. [ link ]
7. B. Accattoli, U. Dal Lago and G. Vanoni. The (In)Efficiency of Interaction. POPL 2021. [ link ]
8. U. Dal Lago and G. Vanoni. On randomised strategies in the λ-calculus. TCS 2020. [ link | pdf ]

Conferences papers

1. L. T. D. Nguyễn and G. Vanoni. Slightly Non-Linear Higher-Order Tree Transducers. STACS 2025 [ link ]
2. F. Gavazzo, R. Treglia and G. Vanoni. Monadic Intersection Types, Relationally. ESOP 2024. [ link ]
3. U. Dal Lago and G.Vanoni. (Not So) Boring Abstract Machines. ICTCS 2023. [ link]
4. B. Accattoli, U. Dal Lago and G. Vanoni. Reasonable Space for the λ-Calculus, Logarithmically. LICS 2022. Invited to the LMCS Special Issue. [ link ]
5. B. Accattoli, U. Dal Lago and G. Vanoni. The Space of Interaction. LICS 2021. [ link | pdf ]
6. B. Accattoli, U. Dal Lago and G. Vanoni. The Machinery of Interaction. PPDP 2020. [ link | slides ]
7. U. Dal Lago and G. Vanoni. On Randomised Strategies in the λ-Calculus. ICTCS 2018. [ pdf ]

Drafts

1. S. Catozi, U. Dal Lago and G. Vanoni. The On Jumps, Interactions, and Intersections. Submitted.
2. G. McCusker, G. Manzonetto, A. Lancelot and G.Vanoni. Interaction Improvement. Submitted.
3. M. Ramos and G. Vanoni. (Infinitary) Intersection Type Derivation Are an ωCPO. In preparation.
4. J. Evrard, C. Faggian, G. Gatti and G. Vanoni. Towards Quantum Inference on Higher-Order Bayesian Networks. Submitted.
5. C. Faggian and G. Vanoni. Towards Compiling Higher-Order Programs to Bayesian Networks. Sumbitted.
6. D. Kesner, F. Olimpieri, G. Vanoni and D. Ventura. Classical Relational Models. In preparation.

Others

1. F. Gavazzo, R. Treglia and G. Vanoni. Monadic Intersection Types. TYPES 2023.
2. B. Accattoli, U. Dal Lago and G. Vanoni. A Log-Sensitive Encoding of Turing Machines in the λ-Calculus. Unpublished, 2023. [ pdf ]
3. B. Accattoli, U. Dal Lago and G. Vanoni. Interacting Seems Unreasonable, in Time and Space. ITRS 2021. [ pdf ]
4. B. Accattoli, U. Dal Lago and G. Vanoni. The Geometry of Abstract Machines. TLLA 2019. [ pdf ]

Service to the Community

• Member of the program committee of PPDP 2024, POPL 2025.
• Co-chair of student volunteers at ICFP 2024.
• Co-organizer of the Workshop “Directions and perspectives in the λ-calculus”. Bologna, 2024.
• Member of the Artifact Evaluation Committee of ICFP 2021, POPL 2024.
• Reviewer for FSCD 2019, LICS 2020, FoSSaCS 2021, ICALP 2021, PPDP 2021, MFPS 2022, CSL 2023, FSCD 2023, FCT2023, FSCD 2024, CSL 2025, PPDP 2025, FOSSACS 2026, LMCS, TCS.
• Member of AILA, IC-EATCS.