Gérard Huet

Gérard Huet

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France
Others
AD Scientific Index ID: 4419108
French National Institute for Research in Computer Science and Control
person_outline Gérard Huet's MOST POPULAR ARTICLES
1-) The calculus of constructionsT Coquand, G HuetINRIA, 198619431986
2-) Confluent reductions: Abstract properties and applications to term rewriting systemsG Huet18th Annual Symposium on Foundations of Computer Science (sfcs 1977), 30-45, 19771702*1977
3-) Equations and rewrite rules. A Survey. In “Formal languages: perspectives an open problems”G Huet, D OppenAcademic Press, 19801176*1980
4-) A unification algorithm for typed λ-calculusGP HuetTheoretical Computer Science 1 (1), 27-57, 197510171975
5-) Résolution d’équations dans les langages d’ordre 1, 2,..., ω, 1976G HuetThese d’État, Université Paris 7, 0718*