Ugo Dal Lago (Universit\`a di Bologna)

Identifiers

• name variant Ugo Dal Lago (Universit\`a di Bologna) 0.60 · backfill

Papers (2)

1. Linear Dependent Types and Relative Completeness cs.LO · 2011 · author #1
2. Bounded Linear Logic, Revisited cs.LO · 2009 · author #1

Mentions

• 1104.0193 #1 · backfill · confidence 0.70 Ugo Dal Lago (Universit\`a di Bologna)
• 0904.2675 #1 · backfill · confidence 0.70 Ugo Dal Lago (Universit\`a di Bologna)

Frequent Coauthors

• Marco Gaboardi (Universit\`a di Bologna 1 shared papers
• Martin Hofmann (LMU 1 shared papers
• Munchen) 1 shared papers
• University of Pennsylvania) 1 shared papers