| The (in) efficiency of interaction B Accattoli, U Dal Lago, G Vanoni Proceedings of the ACM on Programming Languages 5 (POPL), 1-33, 2021 | 24 | 2021 |
| The machinery of interaction B Accattoli, U Dal Lago, G Vanoni Proceedings of the 22nd International Symposium on Principles and Practice …, 2020 | 20 | 2020 |
| Multi types and reasonable space B Accattoli, U Dal Lago, G Vanoni Proceedings of the ACM on Programming Languages 6 (ICFP), 799-825, 2022 | 11 | 2022 |
| Reasonable Space for the λ-calculus, Logarithmically B Accattoli, U Dal Lago, G Vanoni Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 8 | 2022 |
| Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs M Avanzini, G Barthe, B Grégoire, G Moser, G Vanoni Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 784-809, 2024 | 7 | 2024 |
| Higher Order Bayesian Networks, Exactly C Faggian, D Pautasso, G Vanoni Proceedings of the ACM on Programming Languages 8 (POPL), 2514-2546, 2024 | 4 | 2024 |
| On randomised strategies in the λ-calculus U Dal Lago, G Vanoni Theoretical Computer Science 813, 100-116, 2020 | 3 | 2020 |
| On Randomised Strategies in the -Calculus U Dal Lago, G Vanoni 19th Italian Conference on Theoretical Computer Science, 2018 | 2 | 2018 |
| Monadic Intersection Types, Relationally F Gavazzo, R Treglia, G Vanoni European Symposium on Programming, 22-51, 2024 | 1 | 2024 |
| On Reasonable Space and Time Cost Models for the λ-Calculus G Vanoni Università di Bologna [Bologna], 2022 | 1 | 2022 |
| The Space of Interaction (long version) B Accattoli, UD Lago, G Vanoni arXiv preprint arXiv:2104.13795, 2021 | 1 | 2021 |
| Interaction Equivalence B Accattoli, A Lancelot, G Manzonetto, G Vanoni Proceedings of the ACM on Programming Languages 9 (POPL), 1627-1656, 2025 | | 2025 |
| (Almost) Affine Higher-Order Tree Transducers LTDT Nguyên, G Vanoni arXiv preprint arXiv:2402.05854, 2024 | | 2024 |
| Monadic Intersection Types, Relationally (Extended Version) F Gavazzo, R Treglia, G Vanoni arXiv preprint arXiv:2401.12744, 2024 | | 2024 |
| Higher-Order Bayesian Networks, Exactly (Extended version) C Faggian, D Pautasso, G Vanoni arXiv preprint arXiv:2311.04651, 2023 | | 2023 |
| (Not So) Boring Abstract Machines U Dal Lago, G Vanoni Italian Conference on Theoretical Computer Science 2023-ICTCS 2023 3587, 2023 | | 2023 |
| A Log-Sensitive Encoding of Turing Machines in the -Calculus B Accattoli, UD Lago, G Vanoni arXiv preprint arXiv:2301.12556, 2023 | | 2023 |
| Multi Types and Reasonable Space (Long Version) B Accattoli, UD Lago, G Vanoni arXiv preprint arXiv:2207.08795, 2022 | | 2022 |
| PhD Abstracts G HUTTON Journal of Functional Programming 32, e17, 2022 | | 2022 |
| The Abstract Machinery of Interaction (Long Version) B Accattoli, UD Lago, G Vanoni arXiv preprint arXiv:2002.05649, 2020 | | 2020 |
