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.
(Leftmost-outermost) beta reduction is invariant, indeed
2016 Accattoli, Beniamino; dal Lago, Ugo
A higher-order characterization of probabilistic polynomial time
2015 Dal Lago, Ugo; Parisen Toldin, Paolo
A Higher-Order Characterization of Probabilistic Polynomial Time
2012 Ugo Dal Lago;Paolo Parisen Toldin
A lambda-calculus foundation for universal probabilistic programming
2016 Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin
A Recursion-Theoretic Characterization of the Probabilistic Class PP
2021 Dal Lago U.; Kahle R.; Oitavem I.
A Relational Theory of Effects and Coeffects
2022 Dal Lago, U; Gavazzo, F
A Semantic Proof of Polytime Soundness of Light Affine Logic
2008 U. Dal Lago; M. Hofmann
A Semantic Proof of Polytime Soundness of Light Affine Logic
2010 U. Dal Lago; M. Hofmann
A Short Introduction to Implicit Computational Complexity
2012 Ugo Dal Lago
An invariant cost model for the lambda calculus
2006 DAL LAGO, Ugo; Martini, Simone
Analysing the complexity of functional programs: Higher-order meets first-order
2015 Avanzini, Martin; Dal Lago, Ugo; Moser, Georg
Applicative bisimulation and quantum λ-calculi
2015 Dal Lago, Ugo; Rioli, Alessandro
Automating sized-Type inference and complexity analysis
2017 Avanzini, Martin; Ugo Dal, Lago
Automating sized-type inference for complexity analysis
2017 Avanzini, Martin; Dal Lago, Ugo
Beta reduction is invariant, indeed
2014 Accattoli, Beniamino; Dal Lago, Ugo
Bounded Linear Logic, Revisited
2010 Ugo Dal Lago; Martin Hofmann
Bounded Linear Logic, Revisited
2009 U. Dal Lago; M. Hofmann
Compact and Tractable Automaton-based Representations for Time Granularities
2007 U. Dal Lago; A. Montanari; G. Puppis
Complexity Analysis in Presence of Control Operators and Higher-Order Functions
2013 Ugo Dal Lago; Giulio Pellitta
Computation by interaction for space-bounded functional programming
2016 Dal Lago, Ugo; Schöpp, Ulrich
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
(Leftmost-outermost) beta reduction is invariant, indeed | Accattoli, Beniamino; dal Lago, Ugo | 2016-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | lmcs2016.pdf |
A higher-order characterization of probabilistic polynomial time | Dal Lago, Ugo; Parisen Toldin, Paolo | 2015-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | - |
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 lambda-calculus foundation for universal probabilistic programming | Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin | 2016-01-01 | ACM SIGPLAN NOTICES | ACM | 4.01 Contributo in Atti di convegno | - |
A Recursion-Theoretic Characterization of the Probabilistic Class PP | Dal Lago U.; Kahle R.; Oitavem I. | 2021-01-01 | - | Schloss Dagstuhl - Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | mfcs2021.pdf |
A Relational Theory of Effects and Coeffects | Dal Lago, U; Gavazzo, F | 2022-01-01 | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | 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 | - |
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 |