Gabriele Vanoni
Orcid: 0000-0001-8762-8674
According to our database1,
Gabriele Vanoni
authored at least 19 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Programming Languages and Systems, 2024
2023
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).
PhD thesis, 2022
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022
2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020
2018
Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018