Showing cs.LOShow all
3 papers · 1 filter
cs.LO2021
The Space of Interaction (long version)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The space complexity of functional programs is not well understood. In particular, traditional implementation techniques are tailored to time efficiency, and space efficiency induc…
cs.LO2020
The Abstract Machinery of Interaction (Long Version)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
This paper revisits the Interaction Abstract Machine (IAM), a machine based on Girard's Geometry of Interaction, introduced by Mackie and Danos & Regnier. It is an unusual machine,…
cs.LO2018
On randomised strategies in the -calculus (long version)
Ugo Dal Lago, Gabriele Vanoni
In this work we study randomised reduction strategies,a notion already known in the context of abstract reduction systems, for the -calculus. We develop a simple framework that…