On Jumps, Interactions, and Intersection Types

Stefano Catozi, Ugo Dal Lago, Gabriele Vanoni

The Jumping Abstract Machine (JAM), an evaluation mechanism for the $\lambda$-calculus, was introduced by Danos and Regnier as an optimization of the Interaction Abstract Machine (IAM),…