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 — 11 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 2008Show all

2 papers · 1 filter

cs.LO2008

Taming Modal Impredicativity: Superlazy Reduction

Ugo Dal Lago, Luca Roversi, Luca Vercelli

Pure, or type-free, Linear Logic proof nets are Turing complete once cut-elimination is considered as computation. We introduce modal impredicativity as a new form of impredicativi…

cs.LO2008★ 15 cited

Light Logics and the Call-by-Value Lambda Calculus

Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca

The so-called light logics have been introduced as logical systems enjoying quite remarkable normalization properties. Designing a type assignment system for pure lambda calculus f…