Lorenzo Tortora de Falco

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 12

Top Topics

Cut Elimination

Proof Theoretic

Resource Allocation

Top Venues

Math. Struct. Comput. Sci.

Publications

Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair
Confluence for Proof-Nets via Parallel Cut Elimination. LPAR (2024)
Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco
Linear Realisability Over Nets and Second Order Quantification (short paper). ICTCS (2023)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. Log. Methods Comput. Sci. 18 (2) (2022)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Glueability of Resource Proof-Structures: Inverting the Taylor Expansion. CSL (2020)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. CoRR (2020)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Glueability of resource proof-structures: inverting the Taylor expansion (long version). CoRR (2019)
Lê Thành Dung Nguyên, Paolo Pistone, Thomas Seiller, Lorenzo Tortora de Falco
Finite semantics of polymorphism, complexity and the power of type fixpoints. CoRR (2019)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Proof-Net as Graph, Taylor Expansion as Pullback. WoLLIC (2019)
Lorenzo Tortora de Falco
Preface. Math. Struct. Comput. Sci. 28 (7) (2018)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Relational type-checking for MELL proof-structures. Part 1: Multiplicatives. CoRR (2016)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Computing Connected Proof(-Structure)s From Their Taylor Expansion. FSCD (2016)
Daniel de Carvalho, Lorenzo Tortora de Falco
A semantic account of strong normalization in linear logic. Inf. Comput. 248 (2016)
Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco
An abstract approach to stratification in linear logic. Inf. Comput. 241 (2015)
Daniel de Carvalho, Lorenzo Tortora de Falco
A semantic account of strong normalization in Linear Logic CoRR (2013)
Daniel de Carvalho, Lorenzo Tortora de Falco
The relational model is injective for multiplicative exponential linear logic (without weakenings). Ann. Pure Appl. Log. 163 (9) (2012)
Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco
An Abstract Approach to Stratification in Linear Logic CoRR (2012)
Daniel de Carvalho, Michele Pagani, Lorenzo Tortora de Falco
A semantic measure of the execution time in linear logic. Theor. Comput. Sci. 412 (20) (2011)
Michele Pagani, Lorenzo Tortora de Falco
Strong normalization property for second order linear logic. Theor. Comput. Sci. 411 (2) (2010)
Daniel de Carvalho, Lorenzo Tortora de Falco
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings) CoRR (2010)
Olivier Laurent, Lorenzo Tortora de Falco
Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. LICS (2006)
Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco
Polarized and focalized linear and classical proofs. Ann. Pure Appl. Log. 134 (2-3) (2005)
Lorenzo Tortora de Falco
Obsessional Experiments For Linear Logic Proof-Nets. Math. Struct. Comput. Sci. 13 (6) (2003)
Lorenzo Tortora de Falco
Additives of linear logic and normalization - Part I: a (restricted) Church-Rosser property. Theor. Comput. Sci. 294 (3) (2003)
Lorenzo Tortora de Falco
The additive mutilboxes. Ann. Pure Appl. Log. 120 (1-3) (2003)
Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
: Linear Decorations and Simulation of Normalization. J. Symb. Log. 67 (1) (2002)
Lorenzo Tortora de Falco
Denotational Semantics for Polarized (But-non-constrainted) LK by Means of the Additives. Kurt Gödel Colloquium (1997)
Lorenzo Tortora de Falco
Generalized standardization lemma for the additives. Electron. Notes Theor. Comput. Sci. 3 (1996)
Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
Strong Normalization for All-Style LK. TABLEAUX (1996)