Guillaume Burel (ENSIIE/C\'edric)

Identifiers

• name variant Guillaume Burel (ENSIIE/C\'edric) 0.60 · backfill

Papers (1)

1. Translating HOL to Dedukti cs.LO · 2015 · author #3

Mentions

• 1507.08720 #3 · backfill · confidence 0.70 Guillaume Burel (ENSIIE/C\'edric)

Frequent Coauthors

• Ali Assaf (Inria 1 shared papers
• Ecole Polytechnique) 1 shared papers