1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2007★ 1 cited
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…
cs.LO2004
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…