Taus Brock-Nannestad (INRIA & LIX

Identifiers

• name variant Taus Brock-Nannestad (INRIA & LIX 0.60 · backfill

Papers (1)

1. Cut Elimination in Multifocused Linear Logic cs.LO · 2015 · author #1

Mentions

• 1502.04771 #1 · backfill · confidence 0.70 Taus Brock-Nannestad (INRIA & LIX

Frequent Coauthors

• \'Ecole Polytechnique) 1 shared papers
• Nicolas Guenot (IT University of Copenhagen) 1 shared papers