Gérard Huet
Gérard Pierre Huet (French: [y.ɛ]; born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to type theory, programming language theory and to the theory of computation.
designer
doctoral advisor
doctoral student
Wikipage redirect
ACM Software System AwardAbstract rewriting systemCamlChristine Paulin-MohringConstructive proofCoqEuropean Association for Theoretical Computer ScienceFrançois FagesGerard HuetGérardHerbrand AwardHigher-order logicHuetIsabelle (proof assistant)Jean-Marie HullotList of logiciansMaurice NivatNewman's lemmaRewritingThierry CoquandUnification (computer science)X-machineXavier LeroyZipper (data structure)
Link from a Wikipage to another Wikipage
designer
doctoral advisor
doctoral students
primaryTopic
Gérard Huet
Gérard Pierre Huet (French: [y.ɛ]; born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to type theory, programming language theory and to the theory of computation.
has abstract
Gérard Huet (* 7. Juli 1947 in Bourges) ist ein französischer Informatiker.
@de
Gérard Huet (Bourges, 7 de jul ...... del lenguaje de computación.
@es
Gérard Huet (Bourges, 7 de jul ...... del Gran premi Inria el 2011.
@ca
Gérard Huet (né le 7 juillet 1 ...... es mécaniques et Informatique.
@fr
Gérard Pierre Huet (French: [y ...... to the theory of computation.
@en
Жерар Пьер Юэ (фр. Gérard Huet ...... мирования и теорию алгоритмов.
@ru
جيرار هويت (بالفرنسية: Gérard ...... 7 يوليو 1947 في بورج في فرنسا.
@ar
academic discipline
birth date
1947-07-07
birth place
doctoral advisor
nationality
Link from a Wikipage to an external page
Wikipage page ID
18,651,665
page length (characters) of wiki page
Wikipage revision ID
997,521,201
Link from a Wikipage to another Wikipage
birth date
1947-07-07
birth place
Bourges, France
@en
doctoral advisor
George Ernst
@en
fields
name
Gérard Huet
@en
nationality
French
@en
wikiPageUsesTemplate
subject
hypernym
comment
Gérard Huet (* 7. Juli 1947 in Bourges) ist ein französischer Informatiker.
@de
Gérard Huet (Bourges, 7 de jul ...... del lenguaje de computación.
@es
Gérard Huet (Bourges, 7 de jul ...... del Gran premi Inria el 2011.
@ca
Gérard Huet (né le 7 juillet 1 ...... es mécaniques et Informatique.
@fr
Gérard Pierre Huet (French: [y ...... to the theory of computation.
@en
Жерар Пьер Юэ (фр. Gérard Huet ...... мирования и теорию алгоритмов.
@ru
جيرار هويت (بالفرنسية: Gérard ...... 7 يوليو 1947 في بورج في فرنسا.
@ar
label
Gérard Huet
@ca
Gérard Huet
@de
Gérard Huet
@en
Gérard Huet
@es
Gérard Huet
@fr
Юэ, Жерар
@ru
جيرار هويت
@ar
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
Gérard Huet
@en