| 2009 |
|---|
| 25 | EE | Patrick Baillot,
Kazushige Terui:
Light types for polynomial time computation in lambda calculus.
Inf. Comput. 207(1): 41-62 (2009) |
| 2008 |
|---|
| 24 | EE | Patrick Baillot,
Damiano Mazza:
Linear Logic by Levels and Bounded Time Complexity
CoRR abs/0801.1253: (2008) |
| 2007 |
|---|
| 23 | EE | Patrick Baillot,
Paolo Coppola,
Ugo Dal Lago:
Light Logics and Optimal Reduction: Completeness and Complexity.
LICS 2007: 421-430 |
| 22 | EE | Patrick Baillot:
From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing.
TLCA 2007: 2-7 |
| 21 | EE | Patrick Baillot,
Paolo Coppola,
Ugo Dal Lago:
Light Logics and Optimal Reduction: Completeness and Complexity
CoRR abs/0704.2448: (2007) |
| 20 | EE | Vincent Atassi,
Patrick Baillot,
Kazushige Terui:
Verification of Ptime Reducibility for system F Terms: Type Inference in<br> Dual Light Affine Logic
CoRR abs/0710.1153: (2007) |
| 19 | EE | Vincent Atassi,
Patrick Baillot,
Kazushige Terui:
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic.
Logical Methods in Computer Science 3(4): (2007) |
| 2006 |
|---|
| 18 | EE | Vincent Atassi,
Patrick Baillot,
Kazushige Terui:
Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic.
CSL 2006: 150-166 |
| 17 | EE | Vincent Atassi,
Patrick Baillot,
Kazushige Terui:
Verification of Ptime reducibility for system F terms via Dual Light Affine Logic
CoRR abs/cs/0603104: (2006) |
| 16 | EE | Patrick Baillot,
Ugo Dal Lago,
Jean-Yves Moyen:
On Quasi-Interpretations, Blind Abstractions and Implicit Complexity
CoRR abs/cs/0608030: (2006) |
| 15 | EE | Patrick Baillot,
Marco Pedicini:
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus
CoRR abs/cs/0608040: (2006) |
| 14 | EE | Ugo Dal Lago,
Patrick Baillot:
On light logics, uniform encodings and polynomial time.
Mathematical Structures in Computer Science 16(4): 713-733 (2006) |
| 2005 |
|---|
| 13 | EE | Patrick Baillot,
Kazushige Terui:
A Feasible Algorithm for Typing in Elementary Affine Logic.
TLCA 2005: 55-70 |
| 2004 |
|---|
| 12 | EE | Alexandru Suna,
Amal El Fallah-Seghrouchni,
Christophe Fouqueré,
Patrick Baillot:
Mobile Multi-Agent Systems: A Programming Language and Its Semantics.
AAMAS 2004: 1386-1387 |
| 11 | EE | Patrick Baillot,
Virgile Mogbil:
Soft lambda-Calculus: A Language for Polynomial Time Computation.
FoSSaCS 2004: 27-41 |
| 10 | EE | Patrick Baillot,
Kazushige Terui:
Light Types for Polynomial Time Computation in Lambda-Calculus.
LICS 2004: 266-275 |
| 9 | EE | Patrick Baillot,
Kazushige Terui:
A feasible algorithm for typing in Elementary Affine Logic
CoRR abs/cs/0412028: (2004) |
| 8 | EE | Patrick Baillot,
Kazushige Terui:
Light types for polynomial time computation in lambda-calculus
CoRR cs.LO/0402059: (2004) |
| 7 | EE | Patrick Baillot:
Stratified coherence spaces: a denotational semantics for light linear logic.
Theor. Comput. Sci. 318(1-2): 29-55 (2004) |
| 2003 |
|---|
| 6 | EE | Patrick Baillot,
Virgile Mogbil:
Soft lambda-calculus: a language for polynomial time computation
CoRR cs.LO/0312015: (2003) |
| 2002 |
|---|
| 5 | | Patrick Baillot:
Checking Polynomial Time Complexity with Types.
IFIP TCS 2002: 370-382 |
| 2001 |
|---|
| 4 | | Patrick Baillot,
Marco Pedicini:
Elementary Complexity and Geometry of Interaction.
Fundam. Inform. 45(1-2): 1-31 (2001) |
| 1999 |
|---|
| 3 | EE | Patrick Baillot,
Marco Pedicini:
Elementary Complexity and Geometry of Interaction.
TLCA 1999: 25-39 |
| 1997 |
|---|
| 2 | | Patrick Baillot,
Vincent Danos,
Thomas Ehrhard,
Laurent Regnier:
Timeless Games.
CSL 1997: 56-77 |
| 1 | EE | Patrick Baillot,
Vincent Danos,
Thomas Ehrhard,
Laurent Regnier:
Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.
LICS 1997: 68-75 |
