Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Lorenzo Tortora de Falco
2010 – today
- 2013
[i3]Daniel de Carvalho, Lorenzo Tortora de Falco: A semantic account of strong normalization in Linear Logic. CoRR abs/1304.6762 (2013)- 2012
- [j9]Daniel de Carvalho, Lorenzo Tortora de Falco: The relational model is injective for multiplicative exponential linear logic (without weakenings). Ann. Pure Appl. Logic 163(9): 1210-1236 (2012)
- [i2]Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco: An Abstract Approach to Stratification in Linear Logic. CoRR abs/1206.6504 (2012)
- 2011
- [j8]Daniel de Carvalho, Michele Pagani, Lorenzo Tortora de Falco: A semantic measure of the execution time in linear logic. Theor. Comput. Sci. 412(20): 1884-1902 (2011)
- 2010
- [j7]Michele Pagani, Lorenzo Tortora de Falco: Strong normalization property for second order linear logic. Theor. Comput. Sci. 411(2): 410-444 (2010)
- [i1]Daniel de Carvalho, Lorenzo Tortora de Falco: The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings). CoRR abs/1002.3131 (2010)
2000 – 2009
- 2006
- [c3]Olivier Laurent, Lorenzo Tortora de Falco: Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. LICS 2006: 179-188
- 2005
- [j6]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
- [j5]
- [j4]Lorenzo Tortora de Falco: Obsessional Experiments For Linear Logic Proof-Nets. Mathematical Structures in Computer Science 13(6): 799-855 (2003)
- [j3]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
- [j2]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)
1990 – 1999
- 1997
- [c2]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
- [j1]Lorenzo Tortora de Falco: Generalized standardization lemma for the additives. Electr. Notes Theor. Comput. Sci. 3: 220-232 (1996)
- [c1]Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco: Strong Normalization for All-Style LK. TABLEAUX 1996: 226-243
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-04 01:36 CEST by the dblp team