U. Dal Lago and G. Vanoni. On randomised strategies in the λ-calculus. Theoretical Computer Science, 813:100-116, 2020. [link],[pdf]
Conferences papers
U. Dal Lago and G. Vanoni. On Randomised Strategies in the λ-Calculus. In Proceedings of the 19th ICTCS, 2018. [pdf]
Others
B. Accattoli, U. Dal Lago and G. Vanoni. The Geometry of Abstract Machines. 3rd International Workshop on Trends in Linear Logic and Applications, 2019. [pdf]
B. Accattoli, U. Dal Lago and G. Vanoni. The Abstract Machinery of Interaction. [preprint].