6 citations · 9 across the 5 of their papers we have counts for
4 papers · 1 filter
Study of Behaviours via Visitable Paths
Christophe Fouqueré, Myriam Quatrini
Around 2000, J.-Y. Girard developed a logical theory, called Ludics. This theory was a step in his program of Geometry of Interaction, the aim of which being to account for the dyn…
Incarnation in Ludics and maximal cliques of paths
Myriam Quatrini, Christophe Fouqueré
Ludics is a reconstruction of logic with interaction as a primitive notion, in the sense that the primary logical concepts are no more formulas and proofs but cut-elimination inter…
A Sequent Calculus for Modelling Interferences
Christophe Fouqueré
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro…
Modules and Logic Programming
Christophe Fouquere, Virgile Mogbil
We study conditions for a concurrent construction of proof-nets in the framework developed by Andreoli in recent papers. We define specific correctness criteria for that purpose. W…