22 citations · 108 across the 38 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.LO2013★ 7 cited
Interaction Graphs: Exponentials
Thomas Seiller
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 re…
cs.LO2013★ 6 cited
Fully-abstract concurrent games for pi
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
We define a semantics for Milner's pi-calculus, with three main novelties. First, it provides a fully-abstract model for fair testing equivalence, whereas previous semantics covere…
cs.LO2013★ 19 cited
Logarithmic Space and Permutations
Clément Aubert, Thomas Seiller
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 authors showed…