# Geometry of interaction

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

- POPL
- 2016

A general framework of Memoryful Geometry of Interaction (mGoI) is introduced recently by the authors. It provides a soundâ€¦Â (More)

Is this relevant?

2010

2010

- Mathematical Structures in Computer Science
- 2010

We introduce a typed version of Girardâ€™s Geometry of Interaction, called Multiobject GoI (MGoI) semantics. We give an MGoIâ€¦Â (More)

Is this relevant?

2004

2004

- Proceedings of the 19th Annual IEEE Symposium onâ€¦
- 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

- 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

- Mathematical Structures in Computer Science
- 2002

We present an axiomatic framework for Girardâ€™s Geometry of Interaction, based on the notion of linear combinatory algebra. Weâ€¦Â (More)

Is this relevant?

1999

1999

- TLCA
- 1999

We introduce a geometry of interaction model given by an algebra of clauses equipped with resolution (following [Gir95]) intoâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- POPL
- 1995

We investigate implementation techniques arising directly from Girard's Geometry of Interaction semantics for Linear Logicâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- 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

- POPL
- 1992

Lamping discovered an optimal graph-reduction implementation of the Î»-calculus. Simultaneously, Girard invented the geometry ofâ€¦Â (More)

Is this relevant?

Highly Cited

1989