Interaction graphs were introduced as a general, uniform, construction of dynamic models of
linear logic, encompassing all Geometry of Interaction (GoI) constructions introduced so far …

Abstract In two previous papers [33],[37], we exposed a combinatorial approach to the
program of Geometry of Interaction, a program initiated by Jean-Yves Girard [16]. The …

Abstract Geometry of Interaction (GoI) is a research program initiated by Jean-Yves Girard
which aims at defining a semantics of linear logic proofs accounting for the dynamical …

This article exhibits a series of semantic characterisations of sublinear nondeterministic
complexity classes. These results fall into the general domain of logic-based approaches to …

In a recent paper, Girard (2012) proposed to use his recent construction of a geometry of
interaction in the hyperfinite factor (Girard 2011) in an innovative way to characterize …

In a recent work, Girard proposed a new and innovative approach to computational
complexity based on the proofs-as-programs correspondence. In a previous paper, the …

We present the stellar resolution, a" flexible" tile system based on Robinson's first-order
resolution. After establishing formal definitions and basic properties of the stellar resolution …

This paper is the fourth of a series exposing a systematic combinatorial approach to Girard's
Geometry of Interaction (GoI) program. The GoI program aims at obtaining particular …

This paper investigates an anti-realist theory of meaning suitable for both logical and proper
axioms. Unlike other anti-realist accounts such as Dummett–Prawitz verificationism, the …

Cobordism categories are known to be compact closed. They can therefore be used to
define non-degenerate models of multiplicative linear logic by combining the Int construction …