22 citations · 108 across the 38 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
math.LO2014★ 3 cited
A Correspondence between Maximal Abelian Sub-Algebras and Linear Logic Fragments
Thomas Seiller
We show a correspondence between a classification of maximal abelian sub-algebras (MASAs) proposed by Jacques Dixmier and fragments of linear logic. We expose for this purpose a mo…
cs.LO2014
Logic Programming and Logarithmic Space
Clément Aubert, Marc Bagnol, Paolo Pistone +1
We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterizat…
cs.LO2014★ 4 cited
Interaction Graphs: Graphings
Thomas Seiller
In two previous papers, we exposed a combinatorial approach to the program of Geometry of Interaction, a program initiated by Jean-Yves Girard. The strength of our approach lies in…