TORTORA DE FALCO, LORENZO
TORTORA DE FALCO, LORENZO
Dipartimento di Matematica e Fisica
A semantic account of strong normalization in Linear Logic
2016-01-01 de Carvalho, Daniel; TORTORA DE FALCO, Lorenzo
A semantic account of Strong Normalization in Linear Logic, arXiv:1304.6762v2
2013-01-01 de Carvalho, Daniel; TORTORA DE FALCO, Lorenzo
A semantic measure of the execution time in Linear Logic
2011-01-01 DANIEL DE, Carvalho; Michele, Pagani; TORTORA DE FALCO, Lorenzo
Additives of Linear Logic and Normalization Part I: a (restricted) Church-Rosser property
2003-01-01 TORTORA DE FALCO, Lorenzo
An Abstract Approach to Stratification in Linear Logic
2015-01-01 Boudes, Pierre; Mazza, Damiano; TORTORA DE FALCO, Lorenzo
Coherent obsessional experiments for linear logic proof-nets
2001-01-01 TORTORA DE FALCO, Lorenzo
Computing connected proof(-structure)s from their Taylor expansion
2016-01-01 Giulio, Guerrieri; Luc, Pellissier; TORTORA DE FALCO, Lorenzo
Confluence for Proof Nets via Parallel Cut Elimination
2024-01-01 Guerrieri, Giulio; Manara, Giulia; TORTORA DE FALCO, Lorenzo; Vaux Auclair, Lionel
Denotational semantics for polarized (but non-constrained) LK by means of the additives
1997-01-01 TORTORA DE FALCO, Lorenzo
Generalized Standardization lemma for the additives
1996-01-01 TORTORA DE FALCO, Lorenzo
Glueability of resource proof-structures: Inverting the Taylor expansion
2020-01-01 Guerrieri, G.; Pellissier, L.; Tortora De Falco, L.
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
2022-01-01 Guerrieri, Giulio; Pellissier, Luc; TORTORA DE FALCO, Lorenzo
Linear Realisability Over Nets and Second Order Quantification
2023-01-01 TORTORA DE FALCO, Lorenzo
Logica
2018-01-01 Abrusci, Vito Michele; TORTORA DE FALCO, Lorenzo
Logica Volume 1- Dimostrazioni e modelli al primo ordine
2014-01-01 Abrusci, Vito Michele; TORTORA DE FALCO, Lorenzo
MELL proof-nets in the category of graphs
2021-01-01 Guerrieri, Giulio; Manara, Giulia; Pellissier, Luc; TORTORA DE FALCO, Lorenzo; Vaux Auclair, Lionel
Obsessional cliques: a semantic characterization of bounded time complexity
2006-01-01 Laurent, O; TORTORA DE FALCO, Lorenzo
Obsessional experiments for Linear Logic Proof-nets
2003-01-01 TORTORA DE FALCO, Lorenzo
Polarisation des preuves classiques et renversement
1996-01-01 TORTORA DE FALCO, Lorenzo; Quatrini, M.
Polarized and focalized linear and classical proofs
2005-01-01 Laurent, O; Quatrini, M; TORTORA DE FALCO, Lorenzo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A semantic account of strong normalization in Linear Logic | 1-gen-2016 | de Carvalho, Daniel; TORTORA DE FALCO, Lorenzo | |
| A semantic account of Strong Normalization in Linear Logic, arXiv:1304.6762v2 | 1-gen-2013 | de Carvalho, Daniel; TORTORA DE FALCO, Lorenzo | |
| A semantic measure of the execution time in Linear Logic | 1-gen-2011 | DANIEL DE, Carvalho; Michele, Pagani; TORTORA DE FALCO, Lorenzo | |
| Additives of Linear Logic and Normalization Part I: a (restricted) Church-Rosser property | 1-gen-2003 | TORTORA DE FALCO, Lorenzo | |
| An Abstract Approach to Stratification in Linear Logic | 1-gen-2015 | Boudes, Pierre; Mazza, Damiano; TORTORA DE FALCO, Lorenzo | |
| Coherent obsessional experiments for linear logic proof-nets | 1-gen-2001 | TORTORA DE FALCO, Lorenzo | |
| Computing connected proof(-structure)s from their Taylor expansion | 1-gen-2016 | Giulio, Guerrieri; Luc, Pellissier; TORTORA DE FALCO, Lorenzo | |
| Confluence for Proof Nets via Parallel Cut Elimination | 1-gen-2024 | Guerrieri, Giulio; Manara, Giulia; TORTORA DE FALCO, Lorenzo; Vaux Auclair, Lionel | |
| Denotational semantics for polarized (but non-constrained) LK by means of the additives | 1-gen-1997 | TORTORA DE FALCO, Lorenzo | |
| Generalized Standardization lemma for the additives | 1-gen-1996 | TORTORA DE FALCO, Lorenzo | |
| Glueability of resource proof-structures: Inverting the Taylor expansion | 1-gen-2020 | Guerrieri, G.; Pellissier, L.; Tortora De Falco, L. | |
| Gluing resource proof-structures: inhabitation and inverting the Taylor expansion | 1-gen-2022 | Guerrieri, Giulio; Pellissier, Luc; TORTORA DE FALCO, Lorenzo | |
| Linear Realisability Over Nets and Second Order Quantification | 1-gen-2023 | TORTORA DE FALCO, Lorenzo | |
| Logica | 1-gen-2018 | Abrusci, Vito Michele; TORTORA DE FALCO, Lorenzo | |
| Logica Volume 1- Dimostrazioni e modelli al primo ordine | 1-gen-2014 | Abrusci, Vito Michele; TORTORA DE FALCO, Lorenzo | |
| MELL proof-nets in the category of graphs | 1-gen-2021 | Guerrieri, Giulio; Manara, Giulia; Pellissier, Luc; TORTORA DE FALCO, Lorenzo; Vaux Auclair, Lionel | |
| Obsessional cliques: a semantic characterization of bounded time complexity | 1-gen-2006 | Laurent, O; TORTORA DE FALCO, Lorenzo | |
| Obsessional experiments for Linear Logic Proof-nets | 1-gen-2003 | TORTORA DE FALCO, Lorenzo | |
| Polarisation des preuves classiques et renversement | 1-gen-1996 | TORTORA DE FALCO, Lorenzo; Quatrini, M. | |
| Polarized and focalized linear and classical proofs | 1-gen-2005 | Laurent, O; Quatrini, M; TORTORA DE FALCO, Lorenzo |