Gabriele Vanoni

According to our database, Gabriele Vanoni authored at least 22 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Interaction Equivalence.

Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto, Gabriele Vanoni

Proc. ACM Program. Lang., 2025

Slightly Non-Linear Higher-Order Tree Transducers.

Lê Thành Dung Nguyên, Gabriele Vanoni

Proceedings of the 42nd International Symposium on Theoretical Aspects of Computer Science, 2025

2024

Higher Order Bayesian Networks, Exactly.

Claudia Faggian, Daniele Pautasso, Gabriele Vanoni

Proc. ACM Program. Lang., January, 2024

Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs.

Martin Avanzini, Gilles Barthe, Benjamin Grégoire, Georg Moser, Gabriele Vanoni

Proc. ACM Program. Lang., 2024

(Almost) Affine Higher-Order Tree Transducers.

Lê Thành Dung Tito Nguyên, Gabriele Vanoni

CoRR, 2024

Monadic Intersection Types, Relationally (Extended Version).

Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni

CoRR, 2024

Monadic Intersection Types, Relationally.

Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni

Proceedings of the Programming Languages and Systems, 2024

2023

Higher-Order Bayesian Networks, Exactly (Extended version).

Claudia Faggian, Daniele Pautasso, Gabriele Vanoni

CoRR, 2023

A Log-Sensitive Encoding of Turing Machines in the λ-Calculus.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

CoRR, 2023

(Not So) Boring Abstract Machines.

Ugo Dal Lago, Gabriele Vanoni

Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

2022

On Reasonable Space and Time Cost Models for the λ-Calculus. (Sur les modèles de coût raisonnable en espace et en temps pour le λ-calcul).

Gabriele Vanoni

PhD thesis, 2022

Multi types and reasonable space.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Proc. ACM Program. Lang., 2022

Multi Types and Reasonable Space (Long Version).

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

CoRR, 2022

Reasonable Space for the λ-Calculus, Logarithmically.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

The (In)Efficiency of interaction.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Proc. ACM Program. Lang., 2021

The Space of Interaction (long version).

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

CoRR, 2021

The Space of Interaction.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

On randomised strategies in the <i>λ</i>-calculus.

Ugo Dal Lago, Gabriele Vanoni

Theor. Comput. Sci., 2020

The Abstract Machinery of Interaction (Long Version).

Ugo Dal Lago, Beniamino Accattoli, Gabriele Vanoni

CoRR, 2020

The Machinery of Interaction.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

2018

On Randomised Strategies in the λ-Calculus (Long Version).

Ugo Dal Lago, Gabriele Vanoni

CoRR, 2018

On Randomised Strategies in the λ-calculus.

Ugo Dal Lago, Gabriele Vanoni

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018