default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLorenzo Tortora de Falco
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c9]Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair:
Confluence for Proof-Nets via Parallel Cut Elimination. LPAR 2024: 464-483- 2023
- [c8]Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco:
Linear Realisability Over Nets and Second Order Quantification (short paper). ICTCS 2023: 59-64 - 2022
- [j12]Giulio Guerrieri
, Luc Pellissier, Lorenzo Tortora de Falco:
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. Log. Methods Comput. Sci. 18(2) (2022) - 2020
- [c7]Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco:
Glueability of Resource Proof-Structures: Inverting the Taylor Expansion. CSL 2020: 24:1-24:18 - [i7]Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco:
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. CoRR abs/2008.03103 (2020)
2010 – 2019
- 2019
- [c6]Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco:
Proof-Net as Graph, Taylor Expansion as Pullback. WoLLIC 2019: 282-300 - [e1]Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco:
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. EPTCS 292, 2019 [contents] - [i6]Lê Thành Dung Nguyên, Paolo Pistone, Thomas Seiller, Lorenzo Tortora de Falco:
Finite semantics of polymorphism, complexity and the power of type fixpoints. CoRR abs/1902.00196 (2019) - [i5]Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco:
Glueability of resource proof-structures: inverting the Taylor expansion (long version). CoRR abs/1910.07936 (2019) - 2018
- [j11]Lorenzo Tortora de Falco:
Preface. Math. Struct. Comput. Sci. 28(7): 991-994 (2018) - 2016
- [j10]Daniel de Carvalho, Lorenzo Tortora de Falco:
A semantic account of strong normalization in linear logic. Inf. Comput. 248: 104-129 (2016) - [c5]Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco:
Computing Connected Proof(-Structure)s From Their Taylor Expansion. FSCD 2016: 20:1-20:18 - [i4]Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco:
Relational type-checking for MELL proof-structures. Part 1: Multiplicatives. CoRR abs/1606.00280 (2016) - 2015
- [j9]Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco:
An abstract approach to stratification in linear logic. Inf. Comput. 241: 32-61 (2015) - 2013
- [i3]Daniel de Carvalho, Lorenzo Tortora de Falco:
A semantic account of strong normalization in Linear Logic. CoRR abs/1304.6762 (2013) - 2012
- [j8]Daniel de Carvalho, Lorenzo Tortora de Falco:
The relational model is injective for multiplicative exponential linear logic (without weakenings). Ann. Pure Appl. Log. 163(9): 1210-1236 (2012) - [i2]Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco:
An Abstract Approach to Stratification in Linear Logic. CoRR abs/1206.6504 (2012) - 2011
- [j7]Daniel de Carvalho, Michele Pagani, Lorenzo Tortora de Falco:
A semantic measure of the execution time in linear logic. Theor. Comput. Sci. 412(20): 1884-1902 (2011) - 2010
- [j6]Michele Pagani, Lorenzo Tortora de Falco:
Strong normalization property for second order linear logic. Theor. Comput. Sci. 411(2): 410-444 (2010) - [i1]Daniel de Carvalho, Lorenzo Tortora de Falco:
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings). CoRR abs/1002.3131 (2010)
2000 – 2009
- 2006
- [c4]Olivier Laurent, Lorenzo Tortora de Falco:
Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. LICS 2006: 179-188 - 2005
- [j5]Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco:
Polarized and focalized linear and classical proofs. Ann. Pure Appl. Log. 134(2-3): 217-264 (2005) - 2003
- [j4]Lorenzo Tortora de Falco:
The additive mutilboxes. Ann. Pure Appl. Log. 120(1-3): 65-102 (2003) - [j3]Lorenzo Tortora de Falco:
Obsessional Experiments For Linear Logic Proof-Nets. Math. Struct. Comput. Sci. 13(6): 799-855 (2003) - [j2]Lorenzo Tortora de Falco:
Additives of linear logic and normalization - Part I: a (restricted) Church-Rosser property. Theor. Comput. Sci. 294(3): 489-524 (2003) - 2002
- [j1]Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco:
SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization. J. Symb. Log. 67(1): 162-196 (2002)
1990 – 1999
- 1997
- [c3]Lorenzo Tortora de Falco:
Denotational Semantics for Polarized (But-non-constrainted) LK by Means of the Additives. Kurt Gödel Colloquium 1997: 290-304 - 1996
- [c2]Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco:
Strong Normalization for All-Style LK. TABLEAUX 1996: 226-243 - [c1]Lorenzo Tortora de Falco:
Generalized standardization lemma for the additives. Linear Logic Tokyo Meeting 1996: 220-232
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
