Geometry of Interaction Machine

The Geometry of Interaction Machine, aka GOI Machine is an abstract VM which achieve evaluation of terms without performing term reduction, by following the path in the graph of the redex that would be extracted by reduction. Geometry of Interaction as an algebra has been developed by Jean-Yves Girard, while the GOI Machine is the outcome of the PhD work of Ian Mackie.