TORTORA DE FALCO, LORENZO

TORTORA DE FALCO, LORENZO  

Dipartimento di Matematica e Fisica  

Mostra records
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) File
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
An Abstract Approach to Stratification in Linear Logic 1-gen-2015 Boudes, Pierre; Mazza, Damiano; TORTORA DE FALCO, Lorenzo
The additive multiboxes 1-gen-2003 TORTORA DE FALCO, Lorenzo
Additives of Linear Logic and Normalization Part I: a (restricted) Church-Rosser property 1-gen-2003 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
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
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
Preface 1-gen-2019 Ehrhard, Thomas; Fernández, Maribel; de Paiva, Valeria; TORTORA DE FALCO, Lorenzo
Preface Special Issue: Differential Linear Logic, Nets and Other Quantitative and Parallel Approaches to Proof-Theory 1-gen-2018 TORTORA DE FALCO, Lorenzo