Rapha\"el Cauderlier (Inria

Identifiers

• name variant Rapha\"el Cauderlier (Inria 0.60 · backfill

Papers (1)

1. Mixing HOL and Coq in Dedukti (Extended Abstract) cs.LO · 2015 · author #3

Mentions

• 1507.08721 #3 · backfill · confidence 0.70 Rapha\"el Cauderlier (Inria

Frequent Coauthors

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