Definitions from Wikipedia (Geometry of interaction)

▸ noun:  In proof theory, the Geometry of Interaction (GoI) was introduced by Jean-Yves Girard shortly after his work on linear logic.


▸ Words similar to geometry of interaction
▸ Usage examples for geometry of interaction

▸ Idioms related to geometry of interaction
▸ Wikipedia articles (New!)
▸ Words that often appear near geometry of interaction
▸ Rhymes of geometry of interaction

▸ Invented words related to geometry of interaction