Benvenuti nell'Anagrafe della Ricerca d'Ateneo

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 29
Titolo Data di pubblicazione Autore(i) File
Generalized Standardization lemma for the additives 1-gen-1996 TORTORA DE FALCO, Lorenzo
Strong Normalization for all-style LK-tq 1-gen-1996 JOINET J., B; Schellinx, H; TORTORA DE FALCO, Lorenzo
Polarisation des preuves classiques et renversement 1-gen-1996 TORTORA DE FALCO, Lorenzo; Quatrini, M.
Denotational semantics for polarized (but non-constrained) LK by means of the additives 1-gen-1997 TORTORA DE FALCO, Lorenzo
Coherent obsessional experiments for linear logic proof-nets 1-gen-2001 TORTORA DE FALCO, Lorenzo
SN and CR for fre-style LKtq: decorations and simulation of normalization 1-gen-2002 JOINET J., B; Schellinx, H; TORTORA DE FALCO, Lorenzo
Obsessional experiments for Linear Logic Proof-nets 1-gen-2003 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
Slicing polarized additive normalization 1-gen-2004 Laurent, O; TORTORA DE FALCO, Lorenzo
Polarized and focalized linear and classical proofs 1-gen-2005 Laurent, O; Quatrini, M; TORTORA DE FALCO, Lorenzo
Sulla struttura logica del calcolo 1-gen-2006 TORTORA DE FALCO, Lorenzo
Obsessional cliques: a semantic characterization of bounded time complexity 1-gen-2006 Laurent, O; TORTORA DE FALCO, Lorenzo
Strong normalization property for second order linear logic 1-gen-2010 Pagani, M; 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
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings) 1-gen-2012 DE CARVALHO, D; 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
Logica Volume 1- Dimostrazioni e modelli al primo ordine 1-gen-2014 Abrusci, Vito Michele; TORTORA DE FALCO, Lorenzo
An Abstract Approach to Stratification in Linear Logic 1-gen-2015 Boudes, Pierre; Mazza, Damiano; TORTORA DE FALCO, Lorenzo
Computing connected proof(-structure)s from their Taylor expansion 1-gen-2016 Giulio, Guerrieri; Luc, Pellissier; TORTORA DE FALCO, Lorenzo
Mostrati risultati da 1 a 20 di 29
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile