CRIS Current Research Information System

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.  

Mostra records
Risultati 1 - 20 di 135 (tempo di esecuzione: 0.04 secondi).
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
(Not So) Boring Abstract Machines Ugo Dal Lago;
Gabriele Vanoni 		2023-01-01 - - 4.01 Contributo in Atti di convegno -
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 3498692.pdf
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 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 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 -