| 2006 |
|---|
| 9 | EE | Olivier Laurent,
Lorenzo Tortora de Falco:
Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity.
LICS 2006: 179-188 |
| 2005 |
|---|
| 8 | EE | Olivier Laurent,
Myriam Quatrini,
Lorenzo Tortora de Falco:
Polarized and focalized linear and classical proofs.
Ann. Pure Appl. Logic 134(2-3): 217-264 (2005) |
| 2003 |
|---|
| 7 | | Lorenzo Tortora de Falco:
The additive mutilboxes.
Ann. Pure Appl. Logic 120(1-3): 65-102 (2003) |
| 6 | | Lorenzo Tortora de Falco:
Obsessional Experiments For Linear Logic Proof-Nets.
Mathematical Structures in Computer Science 13(6): 799-855 (2003) |
| 5 | | Lorenzo Tortora de Falco:
Additives of linear logic and normalization - Part I: a (restricted) Church-Rosser property.
Theor. Comput. Sci. 294(3): 489-524 (2003) |
| 2002 |
|---|
| 4 | | Jean-Baptiste Joinet,
Harold Schellinx,
Lorenzo Tortora de Falco:
SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization.
J. Symb. Log. 67(1): 162-196 (2002) |
| 1997 |
|---|
| 3 | | Lorenzo Tortora de Falco:
Denotational Semantics for Polarized (But-non-constrainted) LK by Means of the Additives.
Kurt Gödel Colloquium 1997: 290-304 |
| 1996 |
|---|
| 2 | | Jean-Baptiste Joinet,
Harold Schellinx,
Lorenzo Tortora de Falco:
Strong Normalization for All-Style LK.
TABLEAUX 1996: 226-243 |
| 1 | EE | Lorenzo Tortora de Falco:
Generalized standardization lemma for the additives.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
