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
18 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
8 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
4 2022 On Randomised Strategies in the -Calculus U Dal Lago, G Vanoni
19th Italian Conference on Theoretical Computer Science, 2018
2 2018 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 On randomised strategies in the λ-calculus U Dal Lago, G Vanoni
Theoretical Computer Science 813, 100-116, 2020
1 2020 Monadic Intersection Types, Relationally F Gavazzo, R Treglia, G Vanoni
European Symposium on Programming, 22-51, 2024
2024 (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 C Faggian, D Pautasso, G Vanoni
Proceedings of the ACM on Programming Languages 8 (POPL), 2514-2546, 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 On randomised strategies in the lambda-calculus G Vanoni
Italy, 2018
2018 On randomised strategies in the -calculus (long version) UD Lago, G Vanoni
arXiv preprint arXiv:1805.03934, 2018
2018