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 Space of Interaction. LICS 2021. [ preprint ]
  2. B. Accattoli, U. Dal Lago and G. Vanoni. The (In)Efficiency of Interaction. POPL 2021. [ link ]
  3. B. Accattoli, U. Dal Lago and G. Vanoni. The Machinery of Interaction. PPDP 2020. [ link | slides ]
  4. 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. The Time and Space of Interaction, CHoCoLa Seminar, April 2021. [ slides ]
  2. On Higher-Order (In)Efficiency, Université Sorbonne Paris Nord, October 2020. [ slides ]
  3. The Complexity of Interaction Abstract Machines, University of Bath, June 2020.
  4. The Complexity of Interaction Abstract Machines, École polytechnique, June 2020.
  5. The Complexity of Interaction Abstract Machines, Université Sorbonne Paris Nord, April 2020.
  6. The Geometry of Abstract Machines, Kyoto University, July 2019.

Service to the Community

  • Member of the Artifact Evaluation Committee of ICFP 2021.
  • Reviewer for FSCD 2019, LICS 2020, FoSSaCS 2021, ICALP 2021.