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

Gabriele Vanoni

1 paper in the PaperMetrix corpus

Publications

Papers by this author

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