Publications

Journal papers

  1. U. Dal Lago and G. Vanoni. On randomised strategies in the λ-calculus. Theoretical Computer Science, 813:100-116, 2020. [link],[pdf]

Conferences papers

  1. U. Dal Lago and G. Vanoni. On Randomised Strategies in the λ-Calculus. In Proceedings of the 19th ICTCS, 2018. [pdf]

Others

  1. 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]
  2. B. Accattoli, U. Dal Lago and G. Vanoni. The Abstract Machinery of Interaction. [preprint].