DAL LAGO, UGO

DAL LAGO, UGO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

U. DAL LAGO; Ugo Dal Lago; DAL LAGO U.  

Risultati 1 - 20 di 113 (tempo di esecuzione: 0.019 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
A Higher-Order Characterization of Probabilistic Polynomial Time Ugo Dal Lago;Paolo Parisen Toldin 2012-01-01 - - 4.01 Contributo in Atti di convegno -
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 -
A Semantic Proof of Polytime Soundness of Light Affine Logic U. Dal Lago; M. Hofmann 2010-01-01 THEORY OF COMPUTING SYSTEMS - 1.01 Articolo in rivista -
A Short Introduction to Implicit Computational Complexity Ugo Dal Lago 2012-01-01 - Springer Berlin Heidelberg 2.01 Capitolo / saggio in libro -
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 -
Analysing the complexity of functional programs: Higher-order meets first-order Avanzini, Martin; Dal Lago, Ugo; Moser, Georg 2015-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno -
Applicative bisimulation and quantum λ-calculi Dal Lago, Ugo; Rioli, Alessandro 2015-01-01 LECTURE NOTES IN COMPUTER SCIENCE Springer Verlag 4.01 Contributo in Atti di convegno -
Automating sized-Type inference and complexity analysis Avanzini, Martin; Ugo Dal, Lago 2017-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association 4.01 Contributo in Atti di convegno -
Automating sized-type inference for complexity analysis Avanzini, Martin; Dal Lago, Ugo 2017-01-01 PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - 1.01 Articolo in rivista -
Beta reduction is invariant, indeed Accattoli, Beniamino; Dal Lago, Ugo 2014-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno -
Bounded Linear Logic, Revisited Ugo Dal Lago; Martin Hofmann 2010-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 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 -
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 -
Complexity Analysis in Presence of Control Operators and Higher-Order Functions Ugo Dal Lago; Giulio Pellitta 2013-01-01 - - 4.01 Contributo in Atti di convegno -
Computation by interaction for space-bounded functional programming Dal Lago, Ugo; Schöpp, Ulrich 2016-01-01 INFORMATION AND COMPUTATION - 1.01 Articolo in rivista intml2_singlespaced.pdf
Confluence Results for a Quantum Lambda Calculus with Measurements Ugo Dal Lago;Andrea Masini;Margherita Zorzi 2011-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Context semantics, linear logic and computational complexity DAL LAGO, Ugo 2006-01-01 - IEEE Computer Society 4.01 Contributo in Atti di convegno -
Context Semantics, Linear Logic and Computational Complexity U. Dal Lago 2009-01-01 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - 1.01 Articolo in rivista -
Decomposing Probabilistic Lambda-Calculi Dal Lago U.; Guerrieri G.; Heijltjes W. 2020-01-01 - Springer 4.01 Contributo in Atti di convegno fossacs2020.pdf
Derivational Complexity is an Invariant Cost Model U. Dal Lago; S. Martini 2010-01-01 - Springer 4.01 Contributo in Atti di convegno -