Source: wikibot/geometry-of-interaction
= Geometry of interaction
{wiki=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.