Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Gérard_Huet> ?p ?o }
- Gérard_Huet abstract "Gérard Pierre Huet (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.".
- Gérard_Huet almaMater Case_Western_Reserve_University.
- Gérard_Huet almaMater University_of_Paris.
- Gérard_Huet birthDate "1947-07-07".
- Gérard_Huet birthPlace Bourges.
- Gérard_Huet birthYear "1947".
- Gérard_Huet doctoralAdvisor Maurice_Nivat.
- Gérard_Huet doctoralStudent Christine_Paulin-Mohring.
- Gérard_Huet doctoralStudent Didier_Rémy.
- Gérard_Huet doctoralStudent Francois_Fages.
- Gérard_Huet doctoralStudent Jean-Marie_Hullot.
- Gérard_Huet doctoralStudent Thierry_Coquand.
- Gérard_Huet doctoralStudent Xavier_Leroy.
- Gérard_Huet field Mathematics.
- Gérard_Huet nationality France.
- Gérard_Huet wikiPageExternalLink 016.pdf.
- Gérard_Huet wikiPageExternalLink CS-TR-80-785.pdf.
- Gérard_Huet wikiPageExternalLink Dico.pdf.
- Gérard_Huet wikiPageExternalLink Huet_Lankford.pdf.
- Gérard_Huet wikiPageExternalLink pdf?md5=91486d696ff2e5535889186ab82e5dde&pid=1-s2.0-002200008290006X-main.pdf.
- Gérard_Huet wikiPageExternalLink DB.pdf.
- Gérard_Huet wikiPageExternalLink Formal_Structures.ps.gz.
- Gérard_Huet wikiPageExternalLink induction.pdf.
- Gérard_Huet wikiPageExternalLink residuals.pdf.
- Gérard_Huet wikiPageExternalLink trans6.pdf.
- Gérard_Huet wikiPageExternalLink huet75.php.
- Gérard_Huet wikiPageExternalLink ~huet.
- Gérard_Huet wikiPageExternalLink 462442845.
- Gérard_Huet wikiPageExternalLink 462472177.
- Gérard_Huet wikiPageExternalLink 462375967.
- Gérard_Huet wikiPageExternalLink ~huet.
- Gérard_Huet wikiPageExternalLink HOU.ps.
- Gérard_Huet wikiPageID "18651665".
- Gérard_Huet wikiPageLength "11112".
- Gérard_Huet wikiPageOutDegree "61".
- Gérard_Huet wikiPageRevisionID "703201033".
- Gérard_Huet wikiPageWikiLink Academia_Europaea.
- Gérard_Huet wikiPageWikiLink Alonzo_Church.
- Gérard_Huet wikiPageWikiLink Arc_et_Senans.
- Gérard_Huet wikiPageWikiLink Asian_Institute_of_Technology.
- Gérard_Huet wikiPageWikiLink Bangkok.
- Gérard_Huet wikiPageWikiLink Bourges.
- Gérard_Huet wikiPageWikiLink Calculus_of_constructions.
- Gérard_Huet wikiPageWikiLink Caml.
- Gérard_Huet wikiPageWikiLink Carnegie_Mellon_University.
- Gérard_Huet wikiPageWikiLink Case_Western_Reserve_University.
- Gérard_Huet wikiPageWikiLink Category:1947_births.
- Gérard_Huet wikiPageWikiLink Category:Case_Western_Reserve_University_alumni.
- Gérard_Huet wikiPageWikiLink Category:Formal_methods_people.
- Gérard_Huet wikiPageWikiLink Category:French_computer_scientists.
- Gérard_Huet wikiPageWikiLink Category:Living_people.
- Gérard_Huet wikiPageWikiLink Category:Members_of_Academia_Europaea.
- Gérard_Huet wikiPageWikiLink Category:Members_of_the_French_Academy_of_Sciences.
- Gérard_Huet wikiPageWikiLink Category:People_from_Bourges.
- Gérard_Huet wikiPageWikiLink Category:University_of_Paris_alumni.
- Gérard_Huet wikiPageWikiLink Christine_Paulin-Mohring.
- Gérard_Huet wikiPageWikiLink Computational_linguistics.
- Gérard_Huet wikiPageWikiLink Constrained_Resolution.
- Gérard_Huet wikiPageWikiLink Coq.
- Gérard_Huet wikiPageWikiLink Didier_Rémy.
- Gérard_Huet wikiPageWikiLink France.
- Gérard_Huet wikiPageWikiLink Francois_Fages.
- Gérard_Huet wikiPageWikiLink French_Academy_of_Sciences.
- Gérard_Huet wikiPageWikiLink French_Institute_for_Research_in_Computer_Science_and_Automation.
- Gérard_Huet wikiPageWikiLink Functional_programming.
- Gérard_Huet wikiPageWikiLink Gilles_Kahn.
- Gérard_Huet wikiPageWikiLink Jean-Marie_Hullot.
- Gérard_Huet wikiPageWikiLink Les_Arcs.
- Gérard_Huet wikiPageWikiLink Mathematics.
- Gérard_Huet wikiPageWikiLink Maurice_Nivat.
- Gérard_Huet wikiPageWikiLink Paris.
- Gérard_Huet wikiPageWikiLink Paris_Diderot_University.
- Gérard_Huet wikiPageWikiLink Programming_language_theory.
- Gérard_Huet wikiPageWikiLink SRI_International.
- Gérard_Huet wikiPageWikiLink Sanskrit.
- Gérard_Huet wikiPageWikiLink Simply_typed_lambda_calculus.
- Gérard_Huet wikiPageWikiLink Theory_of_computation.
- Gérard_Huet wikiPageWikiLink Thierry_Coquand.
- Gérard_Huet wikiPageWikiLink Type_theory.
- Gérard_Huet wikiPageWikiLink Unification_(computer_science).
- Gérard_Huet wikiPageWikiLink University_of_Paris.
- Gérard_Huet wikiPageWikiLink University_of_Texas_at_Austin.
- Gérard_Huet wikiPageWikiLink X-machine.
- Gérard_Huet wikiPageWikiLink Xavier_Leroy.
- Gérard_Huet wikiPageWikiLink Zen_Computational_Linguistics_toolkit.
- Gérard_Huet wikiPageWikiLink Zipper_(data_structure).
- Gérard_Huet wikiPageWikiLinkText "Gérard Huet".
- Gérard_Huet wikiPageWikiLinkText "Huet".
- Gérard_Huet almaMater Case_Western_Reserve_University.
- Gérard_Huet almaMater University_of_Paris.
- Gérard_Huet birthDate "1947-07-07".
- Gérard_Huet birthPlace Bourges.
- Gérard_Huet dateOfBirth "1947-07-07".
- Gérard_Huet doctoralAdvisor Maurice_Nivat.
- Gérard_Huet doctoralAdvisor "George Ernst".
- Gérard_Huet doctoralStudents Christine_Paulin-Mohring.
- Gérard_Huet doctoralStudents Didier_Rémy.
- Gérard_Huet doctoralStudents Francois_Fages.
- Gérard_Huet doctoralStudents Jean-Marie_Hullot.
- Gérard_Huet doctoralStudents Thierry_Coquand.