Prof. LORENZO TORTORA DE FALCO
| Qualifica | Professore Associato |
| Settore Scientifico Disciplinare | PHIL-02/A |
| Telefono | 0657338415 |
| Cellulare aziendale | 87795 |
| lorenzo.tortoradefalco@uniroma3.it | |
| Indirizzo | Largo San Leonardo Murialdo 1 |
| Struttura/Afferenza |
|
| Altre informazioni | Sito web personale Curriculum |
Qualora le informazioni riportate a lato risultino assenti, incomplete o errate leggi le seguenti istruzioni
Per telefonare da un edificio dell'Ateneo all'altro SE il numero unico inizia con "06 5733xxxx" basta comporre le ultime quattro cifre del numero esteso.
Profilo
INSEGNAMENTI
Prodotti della ricerca
Avvisi
Ricevimento e materiale didattico
Per telefonare da un edificio dell'Ateneo all'altro SE il numero unico inizia con "06 5733xxxx" basta comporre le ultime quattro cifre del numero esteso.
Contributo in Rivista
- Gluing resource proof-structures: inhabitation and inverting the Taylor expansion, TORTORA DE FALCO, LORENZO, , 2022Link identifier #identifier_person_151570-1 Dettaglio
- A semantic account of strong normalization in Linear Logic, TORTORA DE FALCO, LORENZO, , 2016Link identifier #identifier_person_144531-2 Dettaglio
- An Abstract Approach to Stratification in Linear Logic, TORTORA DE FALCO, LORENZO, , 2015Link identifier #identifier_person_44022-3 Dettaglio
- The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings), TORTORA DE FALCO, LORENZO, , 2012Link identifier #identifier_person_52125-4 Dettaglio
- A semantic measure of the execution time in Linear Logic, TORTORA DE FALCO, LORENZO, , 2011Link identifier #identifier_person_23540-5 Dettaglio
- Strong normalization property for second order linear logic, TORTORA DE FALCO, LORENZO, , 2010Link identifier #identifier_person_26859-6 Dettaglio
- Sulla struttura logica del calcolo, TORTORA DE FALCO, LORENZO, , 2006Link identifier #identifier_person_186795-7 Dettaglio
- Polarized and focalized linear and classical proofs, TORTORA DE FALCO, LORENZO, , 2005Link identifier #identifier_person_75619-8 Dettaglio
- Additives of Linear Logic and Normalization Part I: a (restricted) Church-Rosser property, TORTORA DE FALCO, LORENZO, , 2003Link identifier #identifier_person_114733-9 Dettaglio
- Obsessional experiments for Linear Logic Proof-nets, TORTORA DE FALCO, LORENZO, , 2003Link identifier #identifier_person_28231-10 Dettaglio
- The additive multiboxes, TORTORA DE FALCO, LORENZO, , 2003Link identifier #identifier_person_58233-11 Dettaglio
- SN and CR for fre-style LKtq: decorations and simulation of normalization, TORTORA DE FALCO, LORENZO, , 2002Link identifier #identifier_person_123678-12 Dettaglio
- Coherent obsessional experiments for linear logic proof-nets, TORTORA DE FALCO, LORENZO, , 2001Link identifier #identifier_person_187759-13 Dettaglio
- Denotational semantics for polarized (but non-constrained) LK by means of the additives, TORTORA DE FALCO, LORENZO, , 1997Link identifier #identifier_person_10349-14 Dettaglio
- Generalized Standardization lemma for the additives, TORTORA DE FALCO, LORENZO, , 1996Link identifier #identifier_person_104817-15 Dettaglio
- Polarisation des preuves classiques et renversement, TORTORA DE FALCO, LORENZO, , 1996Link identifier #identifier_person_156218-16 Dettaglio
- Strong Normalization for all-style LK-tq, TORTORA DE FALCO, LORENZO, , 1996Link identifier #identifier_person_171228-17 Dettaglio
Libro
- ABRUSCI, VITO MICHELE; TORTORA DE FALCO, LORENZO, Logica, 2018 Link identifier #identifier_person_122524-18Dettaglio
- ABRUSCI, VITO MICHELE; TORTORA DE FALCO, LORENZO, LogicaVolume 1- Dimostrazioni e modelli al primo ordine, UNITEXT, issn 2038-5714, vol. 80, 2014 Link identifier #identifier_person_178462-19Dettaglio
Contributo in volume e atti di convegno
- GUERRIERI, GIULIO; MANARA, GIULIA; TORTORA DE FALCO, LORENZO, Confluence for Proof Nets via Parallel Cut Elimination, issn 2398-7340, vol. 100, pp. 464 483, 2024 Link identifier #identifier_person_168539-20Dettaglio
- TORTORA DE FALCO, LORENZO, Linear Realisability Over Nets and Second Order Quantification, issn 1613-0073, vol. 3587, pp. 59 64, 2023 Link identifier #identifier_person_106251-21Dettaglio
- TORTORA DE FALCO, LORENZO, MELL proof-nets in the category of graphs, 2021 Link identifier #identifier_person_15787-22Dettaglio
- TORTORA DE FALCO, LORENZO, Glueability of resource proof-structures: Inverting the Taylor expansion, issn 1868-8969, vol. 152, 2020 Link identifier #identifier_person_107634-23Dettaglio
- EHRHARD, THOMAS; TORTORA DE FALCO, LORENZO, Preface, 2019 Link identifier #identifier_person_153945-24Dettaglio
- TORTORA DE FALCO, LORENZO, Proof-Net as Graph, Taylor Expansion as Pullback, issn 0302-9743, vol. 11541, 2019 Link identifier #identifier_person_117793-25Dettaglio
- TORTORA DE FALCO, LORENZO, Preface Special Issue: Differential Linear Logic, Nets and Other Quantitative and Parallel Approaches to Proof-Theory, MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, issn 0960-1295, pp. 1 4, 2018 Link identifier #identifier_person_34648-26Dettaglio
- TORTORA DE FALCO, LORENZO, Computing connected proof(-structure)s from their Taylor expansion, 2016 Link identifier #identifier_person_177247-27Dettaglio
- TORTORA DE FALCO, LORENZO, Obsessional cliques: a semantic characterization of bounded time complexity, 2006 Link identifier #identifier_person_58407-28Dettaglio
- TORTORA DE FALCO, LORENZO, Slicing polarized additive normalization, vol. 316, pp. 247 282, 2004 Link identifier #identifier_person_56507-29Dettaglio