Lorenzo Tortora de Falco

	2011
12		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
11		Daniel de Carvalho, Lorenzo Tortora de Falco: The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings) CoRR abs/1002.3131: (2010)
10		Michele Pagani, Lorenzo Tortora de Falco: Strong normalization property for second order linear logic. Theor. Comput. Sci. 411(2): 410-444 (2010)
	2006
9		Olivier Laurent, Lorenzo Tortora de Falco: Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. LICS 2006: 179-188
	2005
8		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		Lorenzo Tortora de Falco: Generalized standardization lemma for the additives. Electr. Notes Theor. Comput. Sci. 3: 220-232 (1996)

Coauthor Index

1	Daniel de Carvalho	[11] [12]
2	Jean-Baptiste Joinet	[2] [4]
3	Olivier Laurent	[8] [9]
4	Michele Pagani	[10] [12]
5	Myriam Quatrini	[8]
6	Harold Schellinx	[2] [4]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page