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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Lorenzo Tortora de Falco