22 citations · 108 across the 38 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.LO2015★ 5 cited
Interaction Graphs: Full Linear Logic
Thomas Seiller
Interaction graphs were introduced as a general, uniform, construction of dynamic models of linear logic, encompassing all "Geometry of Interaction" (GoI) constructions introduced…
cs.LO2015★ 2 cited
Memoization for Unary Logic Programming: Characterizing PTIME
Clément Aubert, Marc Bagnol, Thomas Seiller
We give a characterization of deterministic polynomial time computation based on an algebraic structure called the resolution semiring, whose elements can be understood as logic pr…
cs.LO2015★ 12 cited
Towards a Complexity-through-Realisability Theory
Thomas Seiller
We explain how recent developments in the fields of realisability models for linear logic -- or geometry of interaction -- and implicit computational complexity can lead to a new a…