1 citations · 1 across the 2 of their papers we have counts for
3 papers · 1 filter
On Jumps, Interactions, and Intersection Types
Stefano Catozi, Ugo Dal Lago, Gabriele Vanoni
The Jumping Abstract Machine (JAM), an evaluation mechanism for the -calculus, was introduced by Danos and Regnier as an optimization of the Interaction Abstract Machine (IAM),…
Interaction Equivalence
Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto +1
Contextual equivalence is the de facto standard notion of program equivalence. A key theorem is that contextual equivalence is an equational theory. Making contextual equivalence m…
Reasonable Space for the -Calculus, Logarithmically
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Can the -calculus be considered a reasonable computational model? Can we use it for measuring the time space consumption of algorithms? While the literature cont…