Daniel Gustafsson (IT University of Copenhagen)

Identifiers

• name variant Daniel Gustafsson (IT University of Copenhagen) 0.60 · backfill

Papers (1)

1. Sequent Calculus and Equational Programming cs.LO · 2015 · author #2

Mentions

• 1507.08056 #2 · backfill · confidence 0.70 Daniel Gustafsson (IT University of Copenhagen)

Frequent Coauthors

• Nicolas Guenot (IT University of Copenhagen) 1 shared papers