{"version":"1.0","type":"link","title":"Geometry of interaction - Newikis","description":"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. To distinguish the real proof nets from all the…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}