1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
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…