Gabriele Vanoni

The Abstract Machinery of Interaction (Long Version).

2020 · arXiv (Cornell University)

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, not relying on environments, presented on linear …