Ali Assaf (Inria

Identifiers

• name variant Ali Assaf (Inria 0.60 · backfill

Papers (2)

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

Mentions

• 1507.08721 #1 · backfill · confidence 0.70 Ali Assaf (Inria
• 1507.08720 #1 · backfill · confidence 0.70 Ali Assaf (Inria

Frequent Coauthors

• Ecole Polytechnique) 2 shared papers
• Cnam) 1 shared papers
• Guillaume Burel (ENSIIE/C\'edric) 1 shared papers
• Rapha\"el Cauderlier (Inria 1 shared papers