| |
| 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) |
| 1 | Jean-Baptiste Joinet | [2] [4] |
| 2 | Olivier Laurent | [8] [9] |
| 3 | Myriam Quatrini | [8] |
| 4 | Harold Schellinx | [2] [4] |