Lorenzo Tortora de Falco - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2023

Linear Realisability Over Nets and Second Order Quantification (short paper)Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco. ictcs 2023: 59-64 [doi]

2022

Gluing resource proof-structures: inhabitation and inverting the Taylor expansionGiulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. lmcs, 18(2), 2022. [doi]

2020

Glueability of Resource Proof-Structures: Inverting the Taylor ExpansionGiulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. csl 2020: [doi]

2019

Proof-Net as Graph, Taylor Expansion as PullbackGiulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. wollic 2019: 282-300 [doi]

2018

PrefaceLorenzo Tortora de Falco. mscs, 28(7):991-994, 2018. [doi]

2016

A semantic account of strong normalization in linear logicDaniel de Carvalho, Lorenzo Tortora de Falco. iandc, 248:104-129, 2016. [doi]

Computing Connected Proof(-Structure)s From Their Taylor ExpansionGiulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. RTA 2016: [doi]

2015

An abstract approach to stratification in linear logicPierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco. iandc, 241:32-61, 2015. [doi]

2012

The relational model is injective for multiplicative exponential linear logic (without weakenings)Daniel de Carvalho, Lorenzo Tortora de Falco. APAL, 163(9):1210-1236, 2012. [doi]

2011

A semantic measure of the execution time in linear logicDaniel de Carvalho, Michele Pagani, Lorenzo Tortora de Falco. TCS, 412(20):1884-1902, 2011. [doi]

2010

Strong normalization property for second order linear logicMichele Pagani, Lorenzo Tortora de Falco. TCS, 411(2):410-444, 2010. [doi]

2006

Obsessional Cliques: A Semantic Characterization of Bounded Time ComplexityOlivier Laurent, Lorenzo Tortora de Falco. lics 2006: 179-188 [doi]

2005

Polarized and focalized linear and classical proofsOlivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco. APAL, 134(2-3):217-264, 2005. [doi]

2003

The additive mutilboxesLorenzo Tortora de Falco. APAL, 120(1-3):65-102, 2003.

Obsessional Experiments For Linear Logic Proof-NetsLorenzo Tortora de Falco. mscs, 13(6):799-855, 2003.

Additives of linear logic and normalization - Part I: a (restricted) Church-Rosser propertyLorenzo Tortora de Falco. TCS, 294(3):489-524, 2003.

2002

SN and CR for Free-Style LK:::tq:::: Linear Decorations and Simulation of NormalizationJean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco. JSYML, 67(1):162-196, 2002.

1997

Denotational Semantics for Polarized (But-non-constrainted) LK by Means of the AdditivesLorenzo Tortora de Falco. kgc 1997: 290-304

1996

Generalized standardization lemma for the additivesLorenzo Tortora de Falco. ENTCS, 3:220-232, 1996. [doi]

Strong Normalization for All-Style LKJean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco. tableaux 1996: 226-243

Sign in or sign up to see more results.

runs on WebDSL