Publications

Journal papers

  1. U. Dal Lago and G. Vanoni. On randomised strategies in the λ-calculus. TCS 2020. [ link | pdf ]

Conferences papers

  1. B. Accattoli, U. Dal Lago and G. Vanoni. The (In)Efficiency of Interaction. POPL 2021. [ preprint ]
  2. B. Accattoli, U. Dal Lago and G. Vanoni. The Machinery of Interaction. PPDP 2020. [ link | slides ]
  3. U. Dal Lago and G. Vanoni. On Randomised Strategies in the λ-Calculus. ICTCS 2018. [ pdf ]

Others

  1. B. Accattoli, U. Dal Lago and G. Vanoni. The Geometry of Abstract Machines. TLLA 2019. [ pdf ]

Invited Seminars

  1. On Higher-Order (In)Efficiency, Université Sorbonne Paris Nord, October 2020. [ slides ]
  2. The Complexity of Interaction Abstract Machines, University of Bath, June 2020.
  3. The Complexity of Interaction Abstract Machines, École polytechnique, June 2020.
  4. The Complexity of Interaction Abstract Machines, Université Sorbonne Paris Nord, April 2020.
  5. The Geometry of Abstract Machines, Kyoto University, July 2019.