Lorenzo Tortora de Falco

From MaRDI portal
Person:276259

Available identifiers

zbMath Open tortora-de-falco.lorenzoMaRDI QIDQ276259

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50941322022-08-02Paper
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion2020-08-06Paper
Proof-net as graph, Taylor expansion as pullback2020-03-04Paper
Glueability of resource proof-structures: inverting the Taylor expansion (long version)2019-10-17Paper
Strong normalization for all-style LKtq2019-01-10Paper
Logica2018-03-09Paper
https://portal.mardi4nfdi.de/entity/Q53694852017-10-17Paper
A semantic account of strong normalization in linear logic2016-05-03Paper
An abstract approach to stratification in linear logic2015-05-04Paper
Logica2014-03-31Paper
The relational model is injective for multiplicative exponential linear logic (without weakenings)2012-07-11Paper
A semantic measure of the execution time in linear logic2011-05-10Paper
Strong normalization property for second order linear logic2009-12-15Paper
https://portal.mardi4nfdi.de/entity/Q54372442008-01-18Paper
Polarized and focalized linear and classical proofs2005-06-23Paper
https://portal.mardi4nfdi.de/entity/Q46505832005-02-18Paper
Obsessional experiments for linear logic proof-nets2004-09-06Paper
Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.2003-07-29Paper
The additive multiboxes2003-03-16Paper
SN and CR for free-style LKtq: linear decorations and simulation of normalization2002-10-29Paper
https://portal.mardi4nfdi.de/entity/Q42228471998-12-14Paper
https://portal.mardi4nfdi.de/entity/Q43645221998-04-01Paper
https://portal.mardi4nfdi.de/entity/Q48964741996-10-20Paper

Research outcomes over time

This page was built for person: Lorenzo Tortora de Falco