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…

Papers overview

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

2017

Godel’s System T is the simply typed lambda calculus extended with numbers and an iterator. The higher-order nature of the…

2013

We consider reasoning about linear systems expressed as block diagrams that give a graphical representation of a system of…

2013

The paper makes use of a finitary version of Geometry of Interaction to fix most pending problems in propositional proof-nets…

2012

In this paper we present a seamless approach to writing and compiling distributed code. By "seamless" we mean that the syntax and…

2008

The geometry of interaction purpose is to give a semantic of proofs or programs accounting for their dynamics. The initial…

2008

We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard's one. It is…

2001

An examination of Girard's execution formula suggests implementations of the Geometry of Interaction at the syntactic level. In…

1997

We formulate a geometrical representation of the normalization of proofs in the multiplicative-exponential fragment of linear…

1996

1994

Geometry of Interaction is based on the idea that the ultimate explanation of logical rules is through the cut-elimination…