Search the dblp DataBase

Publications of Author

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