Strong Normalization for All-Style LK. - Jean-Baptiste Joinet; Harold Schellinx; Lorenzo Tortora de Falco (TABLEAUX, 1996)

Generalized standardization lemma for the additives. - Lorenzo Tortora de Falco (Linear Logic Tokyo Meeting, 1996)

Denotational Semantics for Polarized (But-non-constrainted) LK by Means of the Additives. - Lorenzo Tortora de Falco (Kurt Gödel Colloquium, 1997)

SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization. - Jean-Baptiste Joinet; Harold Schellinx; Lorenzo Tortora de Falco (J. Symb. Log., 2002)

The additive mutilboxes. - Lorenzo Tortora de Falco (Ann. Pure Appl. Log., 2003)

Obsessional Experiments For Linear Logic Proof-Nets. - Lorenzo Tortora de Falco (Math. Struct. Comput. Sci., 2003)

Additives of linear logic and normalization - Part I: a (restricted) Church-Rosser property. - Lorenzo Tortora de Falco (Theor. Comput. Sci., 2003)

Polarized and focalized linear and classical proofs. - Olivier Laurent 001; Myriam Quatrini; Lorenzo Tortora de Falco (Ann. Pure Appl. Log., 2005)

Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. - Olivier Laurent 001; Lorenzo Tortora de Falco (LICS, 2006)

Strong normalization property for second order linear logic. - Michele Pagani; Lorenzo Tortora de Falco (Theor. Comput. Sci., 2010)

A semantic measure of the execution time in linear logic. - Daniel de Carvalho; Michele Pagani; Lorenzo Tortora de Falco (Theor. Comput. Sci., 2011)

The relational model is injective for multiplicative exponential linear logic (without weakenings). - Daniel de Carvalho; Lorenzo Tortora de Falco (Ann. Pure Appl. Log., 2012)

An abstract approach to stratification in linear logic. - Pierre Boudes; Damiano Mazza; Lorenzo Tortora de Falco (Inf. Comput., 2015)

Computing Connected Proof(-Structure)s From Their Taylor Expansion. - Giulio Guerrieri; Luc Pellissier; Lorenzo Tortora de Falco (FSCD, 2016)

Relational type-checking for MELL proof-structures. Part 1: Multiplicatives. - Giulio Guerrieri; Luc Pellissier; Lorenzo Tortora de Falco (CoRR, 2016)

A semantic account of strong normalization in linear logic. - Daniel de Carvalho; Lorenzo Tortora de Falco (Inf. Comput., 2016)

Preface. - Lorenzo Tortora de Falco (Math. Struct. Comput. Sci., 2018)

Proof-Net as Graph, Taylor Expansion as Pullback. - Giulio Guerrieri; Luc Pellissier; Lorenzo Tortora de Falco (WoLLIC, 2019)

Finite semantics of polymorphism, complexity and the power of type fixpoints. - Lê Thành Dung Nguyên; Paolo Pistone; Thomas Seiller; Lorenzo Tortora de Falco (CoRR, 2019)

Glueability of resource proof-structures: inverting the Taylor expansion (long version). - Giulio Guerrieri; Luc Pellissier; Lorenzo Tortora de Falco (CoRR, 2019)

Glueability of Resource Proof-Structures: Inverting the Taylor Expansion. - Giulio Guerrieri; Luc Pellissier; Lorenzo Tortora de Falco (CSL, 2020)

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. - Giulio Guerrieri; Luc Pellissier; Lorenzo Tortora de Falco (Log. Methods Comput. Sci., 2022)

Linear Realisability Over Nets and Second Order Quantification (short paper). - Adrien Ragot; Thomas Seiller; Lorenzo Tortora de Falco (ICTCS, 2023)

Confluence for Proof-Nets via Parallel Cut Elimination. - Giulio Guerrieri; Giulia Manara; Lorenzo Tortora de Falco; Lionel Vaux Auclair (LPAR, 2024)

Linear Realisability over nets: multiplicatives (long version). - Adrien Ragot; Thomas Seiller; Lorenzo Tortora de Falco (CoRR, 2024)

Linear Realisability over Nets: Multiplicatives. - Adrien Ragot; Thomas Seiller; Lorenzo Tortora de Falco (CSL, 2025)

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic. - Rémi Di Guardia; Olivier Laurent 001; Lorenzo Tortora de Falco; Lionel Vaux Auclair (FSCD, 2025)

On the role of connectivity in Linear Logic proofs. - Raffaele Di Donna; Lorenzo Tortora de Falco (CoRR, 2025)