CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 134
Titolo Autore(i) Anno Periodico Editore Tipo File
Phase Semantics and Decidability of Elementary Affine Logic MARTINI S.; DAL LAGO U. 2004-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Higher order linear ramified recurrence U. DAL LAGO; S. MARTINI; L. ROVERSI 2004-01-01 - Spinger 4.01 Contributo in Atti di convegno -
Quantitative models and implicit complexity DAL LAGO, Ugo; Hofmann, M. 2005-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
The geometry of linear higher-order recursion DAL LAGO, Ugo 2005-01-01 - IEEE Computer Society 4.01 Contributo in Atti di convegno -
Elementary affine logic and call-by-value lambda-calculus Dal Lago U.;
Ronchi Della Rocca S.;
Coppola P. 		2005-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
On light logics, uniform encodings and polynomial time DAL LAGO, Ugo; Baillot, P. 2006-01-01 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
An invariant cost model for the lambda calculus DAL LAGO, Ugo; Martini, Simone 2006-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
Context semantics, linear logic and computational complexity DAL LAGO, Ugo 2006-01-01 - IEEE Computer Society 4.01 Contributo in Atti di convegno -
Light Logics and Optimal Reduction: Completeness and Complexity P. Baillot; P. Coppola; U. Dal Lago 2007-01-01 - s.m. 4.01 Contributo in Atti di convegno -
On the Equivalence of Automaton-based Representations of Time Granularities U. Dal Lago; A. Montanari; G. Puppis 2007-01-01 - s.m. 4.01 Contributo in Atti di convegno -
Compact and Tractable Automaton-based Representations for Time Granularities U. Dal Lago; A. Montanari; G. Puppis 2007-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Proofs as efficient programs U. Dal Lago; S. Martini 2008-01-01 - Springer Verlag 2.01 Capitolo / saggio in libro -
Quantitative Game Semantics for Linear Logic U. Dal Lago; O. Laurent 2008-01-01 - SPRINGER 4.01 Contributo in Atti di convegno -
The weak lambda-calculus as a reasonable machine U. Dal Lago; S. Martini 2008-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
A Semantic Proof of Polytime Soundness of Light Affine Logic U. Dal Lago; M. Hofmann 2008-01-01 - SPRINGER 4.01 Contributo in Atti di convegno -
Light Logics and the Call-by-value Lambda Calculus P. Coppola; U. Dal Lago; S. Ronchi Della Rocca 2008-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
The geometry of linear higher-order recursion U. Dal Lago 2009-01-01 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - 1.01 Articolo in rivista -
Bounded Linear Logic, Revisited U. Dal Lago; M. Hofmann 2009-01-01 - Springer 4.01 Contributo in Atti di convegno -
On a measurement-free quantum lambda calculus with classical control U. Dal Lago; A. Masini; M. Zorzi 2009-01-01 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
Taming Modal Impredicativity: Superlazy Reduction U. Dal Lago; L. Roversi; L. Vercelli 2009-01-01 - Springer 4.01 Contributo in Atti di convegno -
Mostrati risultati da 1 a 20 di 134
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