Jacques-Henri Jourdan (INRIA Rocquencourt)

Identifiers

• name variant Jacques-Henri Jourdan (INRIA Rocquencourt) 0.60 · backfill

Papers (1)

1. Implementing hash-consed structures in Coq cs.PL · 2013 · author #2

Mentions

• 1304.6038 #2 · backfill · confidence 0.70 Jacques-Henri Jourdan (INRIA Rocquencourt)

Frequent Coauthors

• David Monniaux (VERIMAG - Imag) 1 shared papers
• Thomas Braibant (INRIA Rocquencourt) 1 shared papers