 Geometry of interaction

Geometry of Interaction (GoI) is a framework in the field of category theory and theoretical computer science, particularly related to the semantics of programming languages and the study of linear logic. Introduced by Jean-Yves Girard in the late 1980s, the main goal of GoI is to provide an algebraic and geometric understanding of computational processes by interpreting them in a geometric way.