Lorenzo Tortora de Falco

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Linear realisability over nets: multiplicatives	2026-06-09	Paper
Confluence for proof-nets via parallel cut elimination	2025-02-19	Paper
scientific article; zbMATH DE number 7566060 (Why is no real title available?) (available as arXiv preprint)	2022-08-02	Paper
scientific article; zbMATH DE number 7566060 (Why is no real title available?)	2022-08-02	Paper
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion (available as arXiv preprint)	2020-08-06	Paper
Proof-net as graph, Taylor expansion as pullback	2020-03-04	Paper
Glueability of resource proof-structures: inverting the Taylor expansion (long version)	2019-10-17	Paper
Strong normalization for all-style \(\mathbf{LK}^\mathrm{tq}\) Theorem Proving with Analytic Tableaux and Related Methods	2019-01-10	Paper
Logica UNITEXT	2018-03-09	Paper
Computing connected proof(-structure)s from their Taylor expansion	2017-10-17	Paper
A semantic account of strong normalization in linear logic Information and Computation	2016-05-03	Paper
An abstract approach to stratification in linear logic Information and Computation	2015-05-04	Paper
Logica UNITEXT	2014-03-31	Paper
The relational model is injective for multiplicative exponential linear logic (without weakenings) Annals of Pure and Applied Logic	2012-07-11	Paper
A semantic measure of the execution time in linear logic Theoretical Computer Science	2011-05-10	Paper
Strong normalization property for second order linear logic Theoretical Computer Science	2009-12-15	Paper
scientific article; zbMATH DE number 5228272 (Why is no real title available?)	2008-01-18	Paper
Polarized and focalized linear and classical proofs Annals of Pure and Applied Logic	2005-06-23	Paper
scientific article; zbMATH DE number 2134916 (Why is no real title available?)	2005-02-18	Paper
Obsessional experiments for linear logic proof-nets Mathematical Structures in Computer Science	2004-09-06	Paper
Additives of linear logic and normalization. I: A (restricted) Church-Rosser property. Theoretical Computer Science	2003-07-29	Paper
The additive multiboxes Annals of Pure and Applied Logic	2003-03-16	Paper
SN and CR for free-style <i>LK<sup>tq</sup></i>: linear decorations and simulation of normalization Journal of Symbolic Logic	2002-10-29	Paper
scientific article; zbMATH DE number 1231532 (Why is no real title available?)	1998-12-14	Paper
scientific article; zbMATH DE number 1088207 (Why is no real title available?)	1998-04-01	Paper
scientific article; zbMATH DE number 937330 (Why is no real title available?)	1996-10-20	Paper

Research outcomes over time

This page was built for person: Lorenzo Tortora de Falco