researcher

Ugo Dal Lago

81 papers hereh-index 302.8k citations169 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position

sole author1
first author50
middle author15
last author14

Across the 80 of 81 papers where every author was matched, so the position is known.

fields

cs.LO61
cs.PL15
cs.CC3
cs.FL1
cs.SC1

same name

Ugo Dal Lago — 10 papers, h 0
Ugo Dal Lago — 5 papers, h 1
Ugo Dal Lago — 3 papers, h 2
Ugo Dal Lago — 1 paper
Ugo Dal Lago — 1 paper, h 1
Ugo Dal Lago — 1 paper

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity

20052026

most cited(Leftmost-Outermost) Beta Reduction is Invariant, Indeed

48 citations · 321 across the 68 of their papers we have counts for

collaborators

Showing 2009 · cs.LOShow all

2 papers · 2 filters

cs.LO2009

Confluence Results for a Quantum Lambda Calculus with Measurements

Ugo Dal Lago, Andrea Masini, Margherita Zorzi

A strong confluence result for Q*, a quantum lambda-calculus with measurements, is proved. More precisely, confluence is shown to hold both for finite and infinite computations. Th…

cs.LO2009★ 29 cited

Bounded Linear Logic, Revisited

Ugo Dal Lago, Martin Hofmann

We present QBAL, an extension of Girard, Scedrov and Scott's bounded linear logic. The main novelty of the system is the possibility of quantifying over resource variables. This ge…