JLP
2008
14 years 13 days ago
2008
A formulation of na
FOSSACS
2004
Springer
14 years 5 months ago
2004
Springer
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...
POPL
2008
ACM
15 years 23 days ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...