Hugo Herbelin

Identifiers

• name variant Hugo Herbelin 0.60 · backfill

Papers (2)

1. The Rooster and the Syntactic Bracket cs.LO · 2013 · author #1
2. Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems cs.LO · 2013 · author #3

Mentions

• 1309.5767 #1 · backfill · confidence 0.70 Hugo Herbelin
• 1305.7360 #3 · backfill · confidence 0.70 Hugo Herbelin

Frequent Coauthors

• Arnaud Spiwack 1 shared papers
• Bruno Barras 1 shared papers
• Burkhart Wolff 1 shared papers
• Enrico Tassi 1 shared papers
• Lourdes del Carmen Gonz\'alez Huesca 1 shared papers
• Makarius Wenzel 1 shared papers
• Yann R\'egis-Gianas 1 shared papers