Gérard Huet

Publications

5.1K

Citations

H-Index

1972

Active since

Affiliations

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

Gérard Huet is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsSyntaxGrammarLanguageLinguisticsSemanticsCorpus Linguistics

Publications per year

1972–2016

Publications

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations

Engineering, Data Curation, Term Rewriting Systems +19

The calculus of constructions

Thierry Coquand, Gérard Huet · Information and Computation · 1988 · 1.1K citations

Syntax, Automated Reasoning, Type Theory +4

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 · 985 citations · Full text

The Zipper

Gérard Huet · Journal of Functional Programming · 1997 · 308 citations

Tree Language, Nifty Data Structure, Engineering +4

Proofs by induction in equational theories with constructors

Gérard Huet, Jean-Marie Hullot · Journal of Computer and System Sciences · 1982 · 261 citations

Equational Theories, Automated Reasoning, Proof Theory +2

Rows per page

1–5 of 24