Explore relationships

Geometry of interaction

In proof theory, the Geometry of Interaction (GoI) was introduced by Jean-Yves Girard shortly after his work on linear logic. In linear logic, proofs can be seen as various kinds of networks as opposed to the flat tree structures of sequent calculus.

Use + to expand a branch. Click a topic name to open its summary.