22 citations · 108 across the 38 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 1 cited
Interaction Graphs: Nondeterministic Automata
Thomas Seiller
This paper exhibits a series of semantic characterisations of sublinear nondeterministic complexity classes. These results fall into the general domain of logic-based approaches to…
cs.LO2016★ 1 cited
From Dynamic to Static Semantics, Quantitatively
Thomas Seiller
We exhibit a new relationship between dynamic and static semantics. We define the categorical outlay needed to define Interaction Graphs models, a generalisation of Girard's Geomet…