Lorenzo Tortora de Falco

Available identifiers

zbMath Open tortora-de-falco.lorenzoMaRDI QIDQ276259

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5094132	2022-08-02	Paper
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion	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 LKtq	2019-01-10	Paper
Logica	2018-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q5369485	2017-10-17	Paper
A semantic account of strong normalization in linear logic	2016-05-03	Paper
An abstract approach to stratification in linear logic	2015-05-04	Paper
Logica	2014-03-31	Paper
The relational model is injective for multiplicative exponential linear logic (without weakenings)	2012-07-11	Paper
A semantic measure of the execution time in linear logic	2011-05-10	Paper
Strong normalization property for second order linear logic	2009-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q5437244	2008-01-18	Paper
Polarized and focalized linear and classical proofs	2005-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4650583	2005-02-18	Paper
Obsessional experiments for linear logic proof-nets	2004-09-06	Paper
Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.	2003-07-29	Paper
The additive multiboxes	2003-03-16	Paper
SN and CR for free-style LKtq: linear decorations and simulation of normalization	2002-10-29	Paper
https://portal.mardi4nfdi.de/entity/Q4222847	1998-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4364522	1998-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4896474	1996-10-20	Paper

Research outcomes over time

This page was built for person: Lorenzo Tortora de Falco