output
20032026
most citedMicroreboot -- A Technique for Cheap Recovery

369 citations

researchers with a paper here
collaborating institutions
Showing 2003 · cs.LOShow all

1 paper · 2 filters

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…