Nicolas Guenot (IT University of Copenhagen)

Identifiers

• name variant Nicolas Guenot (IT University of Copenhagen) 0.60 · backfill

Papers (2)

1. Sequent Calculus and Equational Programming cs.LO · 2015 · author #1
2. Cut Elimination in Multifocused Linear Logic cs.LO · 2015 · author #3

Mentions

• 1507.08056 #1 · backfill · confidence 0.70 Nicolas Guenot (IT University of Copenhagen)
• 1502.04771 #3 · backfill · confidence 0.70 Nicolas Guenot (IT University of Copenhagen)

Frequent Coauthors

• Daniel Gustafsson (IT University of Copenhagen) 1 shared papers
• \'Ecole Polytechnique) 1 shared papers
• Taus Brock-Nannestad (INRIA & LIX 1 shared papers