Section: New Results
A Reasonable Abstract Machine for the Strong -Calculus
Participant : Beniamino Accattoli.
We provided a new proof that the strong
Participant : Beniamino Accattoli.
We provided a new proof that the strong