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.
A Higher-Order Characterization of Probabilistic Polynomial Time
2012-01-01 Ugo Dal Lago;Paolo Parisen Toldin
A Semantic Proof of Polytime Soundness of Light Affine Logic
2008-01-01 U. Dal Lago; M. Hofmann
A Semantic Proof of Polytime Soundness of Light Affine Logic
2010-01-01 U. Dal Lago; M. Hofmann
A Short Introduction to Implicit Computational Complexity
2012-01-01 Ugo Dal Lago
An invariant cost model for the lambda calculus
2006-01-01 DAL LAGO, Ugo; Martini, Simone
Analysing the complexity of functional programs: Higher-order meets first-order
2015-01-01 Avanzini, Martin; Dal Lago, Ugo; Moser, Georg
Applicative bisimulation and quantum λ-calculi
2015-01-01 Dal Lago, Ugo; Rioli, Alessandro
Automating sized-Type inference and complexity analysis
2017-01-01 Avanzini, Martin; Ugo Dal, Lago
Automating sized-type inference for complexity analysis
2017-01-01 Avanzini, Martin; Dal Lago, Ugo
Beta reduction is invariant, indeed
2014-01-01 Accattoli, Beniamino; Dal Lago, Ugo
Bounded Linear Logic, Revisited
2010-01-01 Ugo Dal Lago; Martin Hofmann
Bounded Linear Logic, Revisited
2009-01-01 U. Dal Lago; M. Hofmann
Compact and Tractable Automaton-based Representations for Time Granularities
2007-01-01 U. Dal Lago; A. Montanari; G. Puppis
Complexity Analysis in Presence of Control Operators and Higher-Order Functions
2013-01-01 Ugo Dal Lago; Giulio Pellitta
Computation by interaction for space-bounded functional programming
2016-01-01 Dal Lago, Ugo; Schöpp, Ulrich
Confluence Results for a Quantum Lambda Calculus with Measurements
2011-01-01 Ugo Dal Lago;Andrea Masini;Margherita Zorzi
Context Semantics, Linear Logic and Computational Complexity
2009-01-01 U. Dal Lago
Context semantics, linear logic and computational complexity
2006-01-01 DAL LAGO, Ugo
Decomposing Probabilistic Lambda-Calculi
2020-01-01 Dal Lago U.; Guerrieri G.; Heijltjes W.
Derivational Complexity is an Invariant Cost Model
2010-01-01 U. Dal Lago; S. Martini
| 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 | U. Dal Lago | 2009-01-01 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | - | 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 | - |
| 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 | - |