Prof. LORENZO TORTORA DE FALCO

QualificaProfessore Associato
Settore Scientifico DisciplinareM-FIL/02
Telefono0657338415
Cellulare aziendale87795
Emaillorenzo.tortoradefalco@uniroma3.it
IndirizzoVia Ostiense 234
Struttura/Afferenza
  • Dipartimento di Matematica e Fisica
Cariche e responsabilità
  • Componente Consiglio dei Referenti dei Dipartimenti del Centro Linguistico di Ateneo
Altre informazioniSito 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.
INSEGNAMENTI Prodotti della ricerca

Contributo in Rivista

  • A semantic account of strong normalization in Linear Logic, TORTORA DE FALCO, LORENZO, , 2016Link identifier #identifier_person_35320-1 Dettaglio
  • An Abstract Approach to Stratification in Linear Logic, TORTORA DE FALCO, LORENZO, , 2015Link identifier #identifier_person_24828-2 Dettaglio
  • The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings), TORTORA DE FALCO, LORENZO, , 2012Link identifier #identifier_person_49762-3 Dettaglio
  • A semantic measure of the execution time in Linear Logic, TORTORA DE FALCO, LORENZO, , 2011Link identifier #identifier_person_129028-4 Dettaglio
  • Strong normalization property for second order linear logic, TORTORA DE FALCO, LORENZO, , 2010Link identifier #identifier_person_85117-5 Dettaglio
  • Sulla struttura logica del calcolo, TORTORA DE FALCO, LORENZO, , 2006Link identifier #identifier_person_120225-6 Dettaglio
  • Polarized and focalized linear and classical proofs, TORTORA DE FALCO, LORENZO, , 2005Link identifier #identifier_person_126238-7 Dettaglio
  • Additives of Linear Logic and Normalization Part I: a (restricted) Church-Rosser property, TORTORA DE FALCO, LORENZO, , 2003Link identifier #identifier_person_63892-8 Dettaglio
  • Obsessional experiments for Linear Logic Proof-nets, TORTORA DE FALCO, LORENZO, , 2003Link identifier #identifier_person_120137-9 Dettaglio
  • The additive multiboxes, TORTORA DE FALCO, LORENZO, , 2003Link identifier #identifier_person_70626-10 Dettaglio
  • SN and CR for fre-style LKtq: decorations and simulation of normalization, TORTORA DE FALCO, LORENZO, , 2002Link identifier #identifier_person_182590-11 Dettaglio
  • Coherent obsessional experiments for linear logic proof-nets, TORTORA DE FALCO, LORENZO, , 2001Link identifier #identifier_person_6446-12 Dettaglio
  • Denotational semantics for polarized (but non-constrained) LK by means of the additives, TORTORA DE FALCO, LORENZO, , 1997Link identifier #identifier_person_162021-13 Dettaglio
  • Generalized Standardization lemma for the additives, TORTORA DE FALCO, LORENZO, , 1996Link identifier #identifier_person_66775-14 Dettaglio
  • Polarisation des preuves classiques et renversement, TORTORA DE FALCO, LORENZO, , 1996Link identifier #identifier_person_16611-15 Dettaglio
  • Strong Normalization for all-style LK-tq, TORTORA DE FALCO, LORENZO, , 1996Link identifier #identifier_person_38170-16 Dettaglio

Libro

  • Vito Michele Abrusci; Lorenzo Tortora de Falco, Logica: Volume 2 - Incompletezza, teoria assiomatica degli insiemi, 2018 Link identifier #identifier_person_48285-17Dettaglio
  • 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_23367-18Dettaglio

Contributo in volume e atti di convegno

  • Tortora de Falco, Lorenzo, Proof-Net as Graph, Taylor Expansion as Pullback, issn 0302-9743, vol. 11541, IN STAMPA Link identifier #identifier_person_153006-19Dettaglio
  • TORTORA DE FALCO, LORENZO, Computing connected proof(-structure)s from their Taylor expansion, 2016 Link identifier #identifier_person_170436-20Dettaglio
  • 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, 2016 Link identifier #identifier_person_36504-21Dettaglio
  • TORTORA DE FALCO, LORENZO, Obsessional cliques: a semantic characterization of bounded time complexity, 2006 Link identifier #identifier_person_134933-22Dettaglio
  • TORTORA DE FALCO, LORENZO, Slicing polarized additive normalization, vol. 316, pp. 247 282, 2004 Link identifier #identifier_person_107150-23Dettaglio