22 citations · 108 across the 38 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.LO2012★ 22 cited
Characterizing co-NL by a group action
Clément Aubert, Thomas Seiller
In a recent paper, Girard proposes to use his recent construction of a geometry of interaction in the hyperfinite factor in an innovative way to characterize complexity classes. We…
cs.LO2012★ 1 cited
Interaction Graphs: Multiplicatives
Thomas Seiller
We introduce a graph-theoretical representation of proofs of multiplicative linear logic which yields both a denotational semantics and a notion of truth. For this, we use a locati…
cs.LO2012★ 1 cited
Interaction Graphs: Additives
Thomas Seiller
Geometry of Interaction (GoI) is a kind of semantics of linear logic proofs that aims at accounting for the dynamical aspects of cut-elimination. We present here a parametrized con…