Universit\'e de Savoie)

Identifiers

• name variant Universit\'e de Savoie) 0.60 · backfill

Papers (2)

1. Full abstraction for fair testing in CCS (expanded version) cs.LO · 2014 · author #2
2. Cartesian closed 2-categories and permutation equivalence in higher-order rewriting cs.LO · 2013 · author #2

Mentions

• 1409.8056 #2 · backfill · confidence 0.70 Universit\'e de Savoie)
• 1307.6318 #2 · backfill · confidence 0.70 Universit\'e de Savoie)

Frequent Coauthors

• Tom Hirschowitz (CNRS 2 shared papers