Light Linear Logic | Sciweavers

48

IGPL
1998

127views more IGPL 1998»

An Analysis of (Linear) Exponentials Based on Extended Sequents

13 years 11 months ago

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...

Stefano Guerrini, Simone Martini, Andrea Masini

claim paper

Read More »

31

click to vote

CSL
2006
Springer

96views Automated Reasoning» more CSL 2006»

Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic

14 years 3 months ago

Download www-lipn.univ-paris13.fr

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...

Vincent Atassi, Patrick Baillot, Kazushige Terui

claim paper

Read More »

36

click to vote

ESOP
2010
Springer

115views Programming Languages» more ESOP 2010»

A PolyTime Functional Language from Light Linear Logic

14 years 8 months ago

Download perso.ens-lyon.fr

Patrick Baillot, Marco Gaboardi and Virgile Mogbil

claim paper