22 citations · 108 across the 38 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
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…