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 2016 · cs.LOShow all

2 papers · 2 filters

cs.LO2016★ 24 cited

The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects

Ugo Dal Lago, Claudia Faggian, Benoit Valiron +1

We introduce a Geometry of Interaction model for higher-order quantum computation, and prove its adequacy for a full quantum programming language in which entanglement, duplication…

cs.LO2016★ 1 cited

Infinitary $λ$ -Calculi from a Linear Perspective (Long Version)

Ugo Dal Lago

We introduce a linear infinitary $λ$ -calculus, called $ℓ Λ_{\infty}$ , in which two exponential modalities are available, the first one being the usual, finitary one, the other be…

The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects

Infinitary λ-Calculi from a Linear Perspective (Long Version)

Infinitary $λ$ -Calculi from a Linear Perspective (Long Version)