1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2003★ 1 cited
Soft lambda-calculus: a language for polynomial time computation
Patrick Baillot, Virgile Mogbil
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi…