Ugo Dal Lago

Identifiers

• name variant Ugo Dal Lago 0.60 · backfill

Papers (45)

1. On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic cs.LO · 2026 · author #1
2. Differential Logical Relations, Part I: The Simply-Typed Case (Long Version) cs.LO · 2019 · author #1
3. On the Taylor Expansion of Probabilistic $\lambda$-Terms (Long Version) cs.LO · 2019 · author #1
4. On Probabilistic Term Rewriting cs.SC · 2018 · author #2
5. Encoding Turing Machines into the Deterministic Lambda-Calculus cs.LO · 2017 · author #1
6. Automating Sized Type Inference for Complexity Analysis (Technical Report) cs.LO · 2017 · author #2
7. Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version) cs.LO · 2017 · author #1
8. The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version) cs.LO · 2017 · author #1
9. Metric Reasoning About $\lambda$-Terms: The General Case (Long Version) cs.LO · 2017 · author #2
10. Probabilistic Termination by Monadic Affine Sized Typing (Long Version) cs.PL · 2017 · author #1
11. The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects cs.LO · 2016 · author #1
12. Infinitary $\lambda$-Calculi from a Linear Perspective (Long Version) cs.LO · 2016 · author #1
13. A Lambda-Calculus Foundation for Universal Probabilistic Programming cs.PL · 2015 · author #2
14. Applicative Bisimulation and Quantum $\lambda$-Calculi (Long Version) cs.LO · 2015 · author #1
15. Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version) cs.LO · 2015 · author #2
16. On Equivalences, Metrics, and Polynomial Time (Long Version) cs.LO · 2015 · author #2
17. Metric Reasoning about $\lambda$-Terms: the Affine Case (Long Version) cs.LO · 2015 · author #2
18. Parallelism and Synchronization in an Infinitary Context (Long Version) cs.LO · 2015 · author #1
19. Proceedings Tenth International Workshop on Developments in Computational Models cs.LO · 2015 · author #1
20. On Sharing, Memoization, and Polynomial Time (Long Version) cs.CC · 2015 · author #2
21. Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version) cs.LO · 2014 · author #1
22. The Geometry of Synchronization (Long Version) cs.LO · 2014 · author #1
23. Beta Reduction is Invariant, Indeed (Long Version) cs.LO · 2014 · author #2
24. On Probabilistic Applicative Bisimulation and Call-by-Value $\lambda$-Calculi (Long Version) cs.LO · 2014 · author #2
25. On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version) cs.PL · 2013 · author #1
26. Complexity Analysis in Presence of Control Operators and Higher-Order Functions (Long Version) cs.LO · 2013 · author #1
27. Wave-Style Token Machines and Quantum Lambda Calculi (Long Version) cs.LO · 2013 · author #1
28. The Geometry of Types (Long Version) cs.LO · 2012 · author #1
29. Computational Complexity of Interactive Behaviors cs.CC · 2012 · author #1
30. Linear Dependent Types in a Call-by-Value Scenario (Long Version) cs.LO · 2012 · author #1
31. An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version) cs.LO · 2012 · author #1
32. On the Invariance of the Unitary Cost Model for Head Reduction (Long Version) cs.LO · 2012 · author #2
33. Soft Session Types cs.LO · 2011 · author #1
34. Soft Session Types (Long Version) cs.LO · 2011 · author #1
35. Probabilistic Operational Semantics for the Lambda Calculus cs.LO · 2011 · author #1
36. General Ramified Recurrence is Sound for Polynomial Time cs.LO · 2010 · author #1
37. Confluence Results for a Quantum Lambda Calculus with Measurements cs.LO · 2009 · author #1
38. On Constructor Rewrite Systems and the Lambda-Calculus (Long Version) cs.PL · 2009 · author #1
39. Taming Modal Impredicativity: Superlazy Reduction cs.LO · 2008 · author #1
40. Light Logics and the Call-by-Value Lambda Calculus cs.LO · 2008 · author #2
41. Light Logics and Optimal Reduction: Completeness and Complexity cs.LO · 2007 · author #3
42. Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power cs.LO · 2007 · author #1
43. On Quasi-Interpretations, Blind Abstractions and Implicit Complexity cs.PL · 2006 · author #2
44. An Invariant Cost Model for the Lambda Calculus cs.LO · 2005 · author #1
45. Context Semantics, Linear Logic and Computational Complexity cs.LO · 2005 · author #1

Mentions

• 1104.0195 #1 · backfill · confidence 0.70 Ugo Dal Lago
• 1005.0521 #1 · backfill · confidence 0.70 Ugo Dal Lago
• 0905.4567 #1 · backfill · confidence 0.70 Ugo Dal Lago
• 0904.4120 #1 · backfill · confidence 0.70 Ugo Dal Lago
• 0810.2891 #1 · backfill · confidence 0.70 Ugo Dal Lago
• 0809.0195 #2 · backfill · confidence 0.70 Ugo Dal Lago
• 0704.2448 #3 · backfill · confidence 0.70 Ugo Dal Lago

Frequent Coauthors

• Akira Yoshimizu 5 shared papers
• Margherita Zorzi 5 shared papers
• Martin Avanzini 4 shared papers
• Beniamino Accattoli 3 shared papers
• Claudia Faggian 3 shared papers
• Simone Martini 3 shared papers
• Andrea Masini 2 shared papers
• Barbara Petit 2 shared papers
• Benoit Valiron 2 shared papers
• Francesco Gavazzo 2 shared papers
• Paolo Coppola 2 shared papers
• Paolo Di Giamberardino 2 shared papers
• Patrick Baillot 2 shared papers
• Rapha\"elle Crubill\'e 2 shared papers
• Akihisa Yamada 1 shared papers
• Alberto Cappai 1 shared papers
• Alessandro Rioli 1 shared papers
• Andrew D. Gordon 1 shared papers
• Charles Grellois 1 shared papers
• Damiano Mazza 1 shared papers