Matches in DBpedia 2015-10 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.".
- 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 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 Dico.pdf.
- 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 "10893".
- Gérard_Huet wikiPageOutDegree "57".
- Gérard_Huet wikiPageRevisionID "659718950".
- 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 Calculus_of_constructions.
- Gérard_Huet wikiPageWikiLink Caml.
- Gérard_Huet wikiPageWikiLink Carnegie-Mellon_University.
- 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 Coq_project.
- Gérard_Huet wikiPageWikiLink Coq_proof_assistant.
- 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 INRIA.
- 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 SRI_International.
- Gérard_Huet wikiPageWikiLink Sanskrit.
- Gérard_Huet wikiPageWikiLink Simply_typed_lambda_calculus.
- Gérard_Huet wikiPageWikiLink Theory_of_types.
- Gérard_Huet wikiPageWikiLink Thierry_Coquand.
- Gérard_Huet wikiPageWikiLink Type_theory.
- Gérard_Huet wikiPageWikiLink Unification_(computer_science).
- Gérard_Huet wikiPageWikiLink Unification_(computing).
- Gérard_Huet wikiPageWikiLink Unification_algorithm.
- Gérard_Huet wikiPageWikiLink University_of_Paris.
- Gérard_Huet wikiPageWikiLink University_of_Texas_at_Austin.
- Gérard_Huet wikiPageWikiLink University_of_Texas_in_Austin.
- Gérard_Huet wikiPageWikiLink Université_Denis_Diderot.
- Gérard_Huet wikiPageWikiLink Université_de_Paris.
- 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 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.