Lorenzo Tortora de Falco

According to our database, Lorenzo Tortora de Falco authored at least 28 papers between 1996 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

On the role of connectivity in Linear Logic proofs.

Raffaele Di Donna, Lorenzo Tortora de Falco

CoRR, June, 2025

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic.

Rémi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

Linear Realisability over Nets: Multiplicatives.

Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Linear Realisability over nets: multiplicatives (long version).

Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco

CoRR, 2024

Confluence for Proof-Nets via Parallel Cut Elimination.

Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023

Linear Realisability Over Nets and Second Order Quantification (short paper).

Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco

Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

2022

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion.

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Log. Methods Comput. Sci., 2022

2020

Glueability of Resource Proof-Structures: Inverting the Taylor Expansion.

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Glueability of resource proof-structures: inverting the Taylor expansion (long version).

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

CoRR, 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

Proof-Net as Graph, Taylor Expansion as Pullback.

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

Preface.

Lorenzo Tortora de Falco

Math. Struct. Comput. Sci., 2018

2016

A semantic account of strong normalization in linear logic.

Daniel de Carvalho, Lorenzo Tortora de Falco

Inf. Comput., 2016

Relational type-checking for MELL proof-structures. Part 1: Multiplicatives.

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

CoRR, 2016

Computing Connected Proof(-Structure)s From Their Taylor Expansion.

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2015

An abstract approach to stratification in linear logic.

Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco

Inf. Comput., 2015

2012

The relational model is injective for multiplicative exponential linear logic (without weakenings).

Daniel de Carvalho, Lorenzo Tortora de Falco

Ann. Pure Appl. Log., 2012

2011

A semantic measure of the execution time in linear logic.

Daniel de Carvalho, Michele Pagani, Lorenzo Tortora de Falco

Theor. Comput. Sci., 2011

2010

Strong normalization property for second order linear logic.

Michele Pagani, Lorenzo Tortora de Falco

Theor. Comput. Sci., 2010

2006

Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity.

Olivier Laurent, Lorenzo Tortora de Falco

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

2005

Polarized and focalized linear and classical proofs.

Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco

Ann. Pure Appl. Log., 2005

2003

Additives of linear logic and normalization - Part I: a (restricted) Church-Rosser property.

Lorenzo Tortora de Falco

Theor. Comput. Sci., 2003

Obsessional Experiments For Linear Logic Proof-Nets.

Lorenzo Tortora de Falco

Math. Struct. Comput. Sci., 2003

The additive mutilboxes.

Lorenzo Tortora de Falco

Ann. Pure Appl. Log., 2003

2002

SN and CR for Free-Style LK^tq: Linear Decorations and Simulation of Normalization.

Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco

J. Symb. Log., 2002

1997

Denotational Semantics for Polarized (But-non-constrainted) LK by Means of the Additives.

Lorenzo Tortora de Falco

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

1996

Generalized standardization lemma for the additives.

Lorenzo Tortora de Falco

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Strong Normalization for All-Style LK.

Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996