113
click to vote
IGPL
1998
15 years 8 days ago
1998
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Lig...
85
Voted
CSL
2006
Springer
15 years 4 months ago
2006
Springer
In a previous work we introduced Dual Light Affine Logic (DLAL) ([BT04]) as a variant of Light Linear Logic suitable for guaranteeing complexity properties on lambda-calculus terms...
92
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer