Identifiers
-
name variant
Ugo Dal Lago
0.60 · backfill
Papers (46)
-
When Types Intersect and Effects Get Handled
cs.LO · 2026 · author #1
-
On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
cs.LO · 2026 · author #1
-
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)
cs.LO · 2019 · author #1
-
On the Taylor Expansion of Probabilistic $\lambda$-Terms (Long Version)
cs.LO · 2019 · author #1
-
On Probabilistic Term Rewriting
cs.SC · 2018 · author #2
-
Encoding Turing Machines into the Deterministic Lambda-Calculus
cs.LO · 2017 · author #1
-
Automating Sized Type Inference for Complexity Analysis (Technical Report)
cs.LO · 2017 · author #2
-
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version)
cs.LO · 2017 · author #1
-
The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version)
cs.LO · 2017 · author #1
-
Metric Reasoning About $\lambda$-Terms: The General Case (Long Version)
cs.LO · 2017 · author #2
-
Probabilistic Termination by Monadic Affine Sized Typing (Long Version)
cs.PL · 2017 · author #1
-
The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects
cs.LO · 2016 · author #1
-
Infinitary $\lambda$-Calculi from a Linear Perspective (Long Version)
cs.LO · 2016 · author #1
-
A Lambda-Calculus Foundation for Universal Probabilistic Programming
cs.PL · 2015 · author #2
-
Applicative Bisimulation and Quantum $\lambda$-Calculi (Long Version)
cs.LO · 2015 · author #1
-
Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version)
cs.LO · 2015 · author #2
-
On Equivalences, Metrics, and Polynomial Time (Long Version)
cs.LO · 2015 · author #2
-
Metric Reasoning about $\lambda$-Terms: the Affine Case (Long Version)
cs.LO · 2015 · author #2
-
Parallelism and Synchronization in an Infinitary Context (Long Version)
cs.LO · 2015 · author #1
-
Proceedings Tenth International Workshop on Developments in Computational Models
cs.LO · 2015 · author #1
-
On Sharing, Memoization, and Polynomial Time (Long Version)
cs.CC · 2015 · author #2
-
Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version)
cs.LO · 2014 · author #1
-
The Geometry of Synchronization (Long Version)
cs.LO · 2014 · author #1
-
Beta Reduction is Invariant, Indeed (Long Version)
cs.LO · 2014 · author #2
-
On Probabilistic Applicative Bisimulation and Call-by-Value $\lambda$-Calculi (Long Version)
cs.LO · 2014 · author #2
-
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version)
cs.PL · 2013 · author #1
-
Complexity Analysis in Presence of Control Operators and Higher-Order Functions (Long Version)
cs.LO · 2013 · author #1
-
Wave-Style Token Machines and Quantum Lambda Calculi (Long Version)
cs.LO · 2013 · author #1
-
The Geometry of Types (Long Version)
cs.LO · 2012 · author #1
-
Computational Complexity of Interactive Behaviors
cs.CC · 2012 · author #1
-
Linear Dependent Types in a Call-by-Value Scenario (Long Version)
cs.LO · 2012 · author #1
-
An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version)
cs.LO · 2012 · author #1
-
On the Invariance of the Unitary Cost Model for Head Reduction (Long Version)
cs.LO · 2012 · author #2
-
Soft Session Types
cs.LO · 2011 · author #1
-
Soft Session Types (Long Version)
cs.LO · 2011 · author #1
-
Probabilistic Operational Semantics for the Lambda Calculus
cs.LO · 2011 · author #1
-
General Ramified Recurrence is Sound for Polynomial Time
cs.LO · 2010 · author #1
-
Confluence Results for a Quantum Lambda Calculus with Measurements
cs.LO · 2009 · author #1
-
On Constructor Rewrite Systems and the Lambda-Calculus (Long Version)
cs.PL · 2009 · author #1
-
Taming Modal Impredicativity: Superlazy Reduction
cs.LO · 2008 · author #1
-
Light Logics and the Call-by-Value Lambda Calculus
cs.LO · 2008 · author #2
-
Light Logics and Optimal Reduction: Completeness and Complexity
cs.LO · 2007 · author #3
-
Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power
cs.LO · 2007 · author #1
-
On Quasi-Interpretations, Blind Abstractions and Implicit Complexity
cs.PL · 2006 · author #2
-
An Invariant Cost Model for the Lambda Calculus
cs.LO · 2005 · author #1
-
Context Semantics, Linear Logic and Computational Complexity
cs.LO · 2005 · author #1
Mentions
-
2606.09526
#1 · arxiv_oai · confidence 0.70
Ugo Dal Lago
-
1506.06661
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
1506.05043
#2 · backfill · confidence 0.70
Ugo Dal Lago
-
1506.03710
#2 · backfill · confidence 0.70
Ugo Dal Lago
-
1505.03638
#2 · backfill · confidence 0.70
Ugo Dal Lago
-
1505.03635
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
1504.01927
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
1501.00894
#2 · backfill · confidence 0.70
Ugo Dal Lago
-
1406.3378
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
1405.3427
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
1405.3311
#2 · backfill · confidence 0.70
Ugo Dal Lago
-
1401.3766
#2 · backfill · confidence 0.70
Ugo Dal Lago
-
1311.1722
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
1310.1763
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
1307.0550
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
1210.6857
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
1209.0663
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
1207.5592
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
1202.3317
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
1202.1641
#2 · backfill · confidence 0.70
Ugo Dal Lago
-
1108.4467
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
1107.4478
#1 · backfill · confidence 0.70
Ugo Dal Lago
-
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