Geometry of interaction

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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
A general framework of Memoryful Geometry of Interaction (mGoI) is introduced recently by the authors. It provides a sound… (More)
  • figure 4
  • figure 5
  • figure 6
  • figure 7
  • figure 8
Is this relevant?
2010
2010
We introduce a typed version of Girard’s Geometry of Interaction, called Multiobject GoI (MGoI) semantics. We give an MGoI… (More)
  • figure 1
  • figure 2
Is this relevant?
2004
2004
It is well-known that weakening and contraction cause naive categorical models of the classical sequent calculus to collapse to… (More)
Is this relevant?
2004
2004
The first papers on Geometry of Interaction followed an essentialist methodology : we interpreted extant logical systems by means… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We present an axiomatic framework for Girard’s Geometry of Interaction, based on the notion of linear combinatory algebra. We… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 7
  • figure 8
Is this relevant?
1999
1999
We introduce a geometry of interaction model given by an algebra of clauses equipped with resolution (following [Gir95]) into… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We investigate implementation techniques arising directly from Girard's Geometry of Interaction semantics for Linear Logic… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The paper expounds geometry of interaction, for the first time in the full case, i.e. for all connectives of linear logic… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Lamping discovered an optimal graph-reduction implementation of the λ-calculus. Simultaneously, Girard invented the geometry of… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1989
Highly Cited
1989
 
Is this relevant?