Get started
Author

Gabriele Vanoni

The (In)Efficiency of interaction
2021 · Beniamino Accattoli, Ugo Dal Lago, et al. · Proceedings of the ACM on Programming Languages · 13
PDF
The Machinery of Interaction
2020 · Beniamino Accattoli, Ugo Dal Lago, et al. · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 9
Reasonable Space for the λ-Calculus, Logarithmically
2022 · Beniamino Accattoli, Ugo Dal Lago, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 8
PDF
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
2024 · Martin Avanzini, Gilles Barthe, et al. · Proceedings of the ACM on Programming Languages · 5
PDF
Multi types and reasonable space
2022 · Beniamino Accattoli, Ugo Dal Lago, et al. · Proceedings of the ACM on Programming Languages · 5
PDF
Higher Order Bayesian Networks, Exactly
2024 · Claudia Faggian, Daniele Pautasso, et al. · Proceedings of the ACM on Programming Languages · 4
PDF
Monadic Intersection Types, Relationally
2024 · Francesco Gavazzo, Riccardo Treglia, et al. · Lecture notes in computer science · 4
PDF
The Space of Interaction
2021 · Beniamino Accattoli, Ugo Dal Lago, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 4
PDF
On randomised strategies in the λ-calculus
2019 · Ugo Dal Lago, Gabriele Vanoni · Theoretical Computer Science · 2
PDF
Multi types and reasonable space
2026 · Beniamino Accattoli, Ugo Dal Lago, et al. · Journal of Functional Programming · 1
PDF
Interaction Equivalence
2025 · Beniamino Accattoli, Adrienne Lancelot, et al. · Proceedings of the ACM on Programming Languages · 1
Reasonable Space for the ${\lambda}$-Calculus, Logarithmically
2024 · Beniamino Accattoli, Ugo Dal Lago, et al. · Logical Methods in Computer Science · 1
PDF
Slightly Non-Linear Higher-Order Tree Transducers
2024 · Nguyễn, Lê Thành Dũng (Tito), Vanoni, Gabriele · arXiv (Cornell University) · 1
PDF
The Abstract Machinery of Interaction (Long Version).
2020 · Ugo Dal Lago, Beniamino Accattoli, et al. · arXiv (Cornell University) · 1
On randomised strategies in the λ-calculus
2020 · Dal Lago U., Vanoni G. · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 1
Interaction Improvement
2026 · Lancelot, Adrienne, Manzonetto, Giulio, et al. · arXiv (Cornell University)
PDF
Interaction Improvement
2026 · Adrienne Lancelot, Giulio Manzonetto, et al. · Lecture notes in computer science
PDF
On Jumps, Interactions, and Intersection Types
2026 · Catozi, Stefano, Dal Lago, Ugo, et al. · arXiv (Cornell University)
PDF
(Definitely not) Boring interaction abstract machines
2025 · Ugo Dal Lago, Gabriele Vanoni · Theoretical Computer Science
Monadic Intersection Types, Relationally, and Ordered
2025 · Zeinab Galal, Francesco Gavazzo, et al. · ACM Transactions on Programming Languages and Systems
PDF
Slightly Non-Linear Higher-Order Tree Transducers
2025 · Nguyễn, Lê Thành Dũng (Tito), Vanoni, Gabriele · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Monadic Intersection Types, Relationally (Extended Version)
2024 · Gavazzo, Francesco, Treglia, Riccardo, et al. · arXiv (Cornell University)
PDF
A Log-Sensitive Encoding of Turing Machines in the $λ$-Calculus
2023 · Accattoli, Beniamino, Lago, Ugo Dal, et al. · arXiv (Cornell University)
PDF
(Not So) Boring Abstract Machines
2023 · Dal Lago, Ugo, Vanoni, Gabriele · HAL
PDF
On Reasonable Space and Time Cost Models for the λ-Calculus
2022 · Vanoni, Gabriele · AMS Dottorato Institutional Doctoral Theses Repository (University of Bologna)
PDF
Works count: 29
Citation count: 60
H-index: 5
I10-index: 1
Year
Topic
Type