Interaction Graphs: Additives


Geometry of Interaction (GoI) is a research program initiated by Jean-Yves Girard which aims at defining a semantics of linear logic proofs accounting for the dynamical aspects of cut elimination. We present here a parametrized construction of a Geometry of Interaction for Multiplicative Additive Linear Logic (MALL) in which proofs are represented by… (More)
DOI: 10.1016/j.apal.2015.10.001

9 Figures and Tables


  • Presentations referencing similar topics