Geometry of Interaction
(Redirected from GoI)
Geometry of Interaction (GoI) is a research program whose purpose is to study the dynamics of cut-elimination, especially in the context of linear logic.
There are various framework of GoI, all based on the same idea of computing paths in a proof to study it's dynamics and find it's normal form.