Hugo Herbelin

Statistics

Publications

Citations

H-Index

Active since

1989

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Université Paris Cité

Indiana University Bloomington

Centre National de la Recherche Scientifique

Laboratory Preuves, Programmes et Systèmes

Hugo Herbelin is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and type systems.

ORCID

Publications per year

1989–2015

Publications

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 989 citations · Full text

Computing, Computer Science, Mathematics +15

The duality of computation

Pierre-Louis Curien, Hugo Herbelin · 2000 · 320 citations

Computing, Computer Science, Logic +10

The Coq proof assistant user's guide : version 5.6

Gilles Dowek, Amy Felty, Hugo Herbelin et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 1991 · 124 citations · Full text

Computing, Computer Science, Formal Methods +7

The duality of computation

Pierre-Louis Curien, Hugo Herbelin · ACM SIGPLAN Notices · 2000 · 90 citations · Full text

Computing, Computer Science, Logic +10

Game semantics and abstract machines

Vincent Danos, Hugo Herbelin, Laurent Régnier · 2002 · 85 citations

Computing, Computer Science, Algorithms +13

1–5 of 24