PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Beniamino Accattoli

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. The Maximal MAM, a Reasonable Implementation of the Maximal Strategy

    2017 · arXiv (Cornell University)

    This note is about a reasonable abstract machine, called Maximal MAM, implementing the maximal strategy of the lambda-calculus, that is, the strategy that always produces a longest evaluation sequence.

  2. 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 …