About: Gérard Huet

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

French computer scientist

Property	Value
dbo:academicDiscipline	dbr:Mathematics
dbo:almaMater	dbr:Case_Western_Reserve_University dbr:University_of_Paris
dbo:birthDate	1947-07-07 (xsd:date)
dbo:birthPlace	dbr:Bourges
dbo:description	France karimba ŋun nyɛ doo (dag) French computer scientist (en) fransk ingeniør og informatikar (nn) fransk ingeniør og informatiker (da) ríomheolaí Francach (ga) دانشمند علوم کامپیوتر و مهندس فرانسوی (fa) Frans informaticus (nl) fransk ingenjör och datavetare (sv) französischer Informatiker (de) Fransız bilgisayar bilimci (d. 1947) (tr) informàtic i lingüista francès (ca) logicien et chercheur en informatique théorique français (fr)
dbo:doctoralAdvisor	dbr:Maurice_Nivat
dbo:doctoralStudent	dbr:Jean-Marie_Hullot dbr:Thierry_Coquand dbr:Xavier_Leroy dbr:Christine_Paulin-Mohring dbr:François_Fages
dbo:knownFor	dbr:Caml
dbo:wikiPageExternalLink	https://sanskrit.inria.fr/DICO/index.html http://pauillac.inria.fr/~huet/ http://pauillac.inria.fr/~huet/PUBLIC/Hampton.pdf http://rewriting.loria.fr/documents/CS-TR-80-785.pdf http://ijcai.org/Past%20Proceedings/IJCAI-73/PDF/016.pdf http://www.ens-lyon.fr/LIP/REWRITING/TERMINATION/Huet_Lankford.pdf http://yquem.inria.fr/~huet/PUBLIC/DB.pdf%7C http://yquem.inria.fr/~huet/PUBLIC/Formal_Structures.ps.gz%7C http://yquem.inria.fr/~huet/PUBLIC/RBT2.pdf%7C http://yquem.inria.fr/~huet/PUBLIC/induction.pdf%7C http://yquem.inria.fr/~huet/PUBLIC/residuals.pdf%7C http://yquem.inria.fr/~huet/PUBLIC/trans6.pdf%7C https://sanskrit.inria.fr/Heritage.pdf https://sanskrit.inria.fr/index.fr.html https://web.archive.org/web/20090106141822/http:/mathgate.info/cebrown/notes/huet75.php https://web.archive.org/web/20140714171331/http:/yquem.inria.fr/~huet/PUBLIC/Formal_Structures.ps.gz%7C https://web.archive.org/web/20141129155528/http:/yquem.inria.fr/~huet/PUBLIC/HOU.ps https://web.archive.org/web/20141222040927/http:/yquem.inria.fr/~huet/PUBLIC/trans6.pdf%7C https://web.archive.org/web/20150701125648/http:/yquem.inria.fr/~huet/PUBLIC/DB.pdf%7C https://web.archive.org/web/20150701125757/http:/yquem.inria.fr/~huet/PUBLIC/residuals.pdf%7C https://web.archive.org/web/20150701130220/http:/yquem.inria.fr/~huet/PUBLIC/induction.pdf%7C https://web.archive.org/web/20160124170625/http:/yquem.inria.fr/~huet/PUBLIC/RBT2.pdf%7C http://www.worldcat.org/title/gestion-des-donnees-dans-les-systemes-informatiques/oclc/462442845 http://www.worldcat.org/title/projet-prevision-realisation-des-vols-par-gerard-huet/oclc/462472177 http://www.worldcat.org/title/specifications-pour-une-base-commune-de-donnees/oclc/462375967 https://hal.inria.fr/inria-00076533/file/RR-0028.pdf
dbo:wikiPageWikiLink	dbc:Case_Western_Reserve_University_alumni dbr:Functional_programming dbr:Caml dbc:Members_of_Academia_Europaea dbr:University_of_Texas_at_Austin dbr:Asian_Institute_of_Technology dbr:Case_Western_Reserve_University dbr:Sanskrit dbr:Arc-et-Senans dbr:European_Association_for_Theoretical_Computer_Science dbr:Jean-Marie_Hullot dbr:Herbrand_Award dbr:Unification_algorithm dbr:Type_theory dbr:Maurice_Nivat dbr:X-machine dbr:Bangkok dbc:1947_births dbc:Living_people dbc:Members_of_the_French_Academy_of_Sciences dbc:University_of_Paris_alumni dbr:Mathematics dbr:Paris dbr:Les_Arcs dbr:Completeness_(logic) dbc:Scientists_from_Bourges dbc:Formal_methods_people dbc:French_computer_scientists dbr:Donald_Knuth dbr:Alonzo_Church dbr:Bourges dbr:Carnegie_Mellon_University dbr:French_Academy_of_Sciences dbr:Thierry_Coquand dbr:Academia_Europaea dbr:SRI_International dbr:Theory_of_computation dbr:Computational_linguistics dbr:Calculus_of_constructions dbr:Simply_typed_lambda_calculus dbr:University_of_Paris dbr:Gilles_Kahn dbr:Xavier_Leroy dbr:Programming_language_theory dbr:Conference_on_Automated_Deduction dbr:Université_Denis_Diderot dbr:INRIA dbr:Logic_in_Computer_Science dbr:Université_de_Paris dbr:Christine_Paulin-Mohring dbr:François_Fages dbc:Chevaliers_of_the_Légion_d'honneur dbr:Theory_of_types dbr:Zipper_data_structure dbr:Coq_proof_assistant dbr:Unification_(computing) dbr:Constrained_resolution dbr:Zen_Computational_Linguistics_toolkit
dbp:almaMater	dbr:Case_Western_Reserve_University dbr:University_of_Paris
dbp:birthDate	1947-07-07 (xsd:date)
dbp:birthPlace	Bourges, France (en)
dbp:doctoralAdvisor	dbr:Maurice_Nivat George Ernst (en)
dbp:doctoralStudents	dbr:Jean-Marie_Hullot dbr:Thierry_Coquand dbr:Xavier_Leroy dbr:Christine_Paulin-Mohring dbr:François_Fages
dbp:fields	dbr:Mathematics
dbp:knownFor	dbr:Caml
dbp:name	Gérard Huet (en)
dbp:nationality	French (en)
dbp:wikiPageUsesTemplate	dbt:MathGenealogy dbt:Authority_control dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Infobox_scientist dbt:Birth_date_and_age dbt:Cite_tech_report dbt:EATCS_Award_laureates dbt:Official_website dbt:BLP_sources dbt:ML_programming dbt:IPA dbt:Citation_needed dbt:Cite_thesis
dct:subject	dbc:Case_Western_Reserve_University_alumni dbc:Members_of_Academia_Europaea dbc:1947_births dbc:Knights_of_the_Legion_of_Honour dbc:Living_people dbc:Members_of_the_French_Academy_of_Sciences dbc:University_of_Paris_alumni dbc:Academic_staff_of_the_Asian_Institute_of_Technology dbc:Scientists_from_Bourges dbc:Formal_methods_people dbc:Programming_language_designers dbc:Programming_language_researchers dbc:French_computer_scientists
gold:hypernym	dbr:Scientist
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Eukaryote dbo:Species schema:Person
rdfs:label	Gérard Huet (en) جيرار هويت (ar) Gérard Huet (ca) Gérard Huet (de) Gérard Huet (es) Gérard Huet (fr) Юэ, Жерар (ru)
owl:sameAs	freebase:Gérard Huet http://d-nb.info/gnd/1079124640 http://viaf.org/viaf/14812854 wikidata:Gérard Huet dbpedia-de:Gérard Huet dbpedia-fr:Gérard Huet dbpedia-es:Gérard Huet dbpedia-ru:Gérard Huet dbpedia-ca:Gérard Huet https://dblp.org/pid/h/GPHuet dbpedia-ar:Gérard Huet dbpedia-br:Gérard Huet dbpedia-mg:Gérard Huet http://data.bibliotheken.nl/id/thes/p074993321 dbpedia-global:Gérard Huet dbr:Gérard Huet
prov:wasDerivedFrom	wikipedia-en:Gérard_Huet?oldid=1282718221&ns=0
foaf:homepage	http://pauillac.inria.fr/~huet
foaf:isPrimaryTopicOf	wikipedia-en:Gérard_Huet
foaf:name	Gérard Huet (en)
is dbo:author of	dbr:Coq_(software)
is dbo:designer of	dbr:Caml
is dbo:doctoralAdvisor of	dbr:Thierry_Coquand dbr:Xavier_Leroy dbr:Christine_Paulin-Mohring dbr:François_Fages
is dbo:doctoralStudent of	dbr:Maurice_Nivat
is dbo:wikiPageDisambiguates of	dbr:Gérard dbr:Huet
is dbo:wikiPageRedirects of	dbr:Gerard_Huet
is dbo:wikiPageWikiLink of	dbr:Isabelle_(proof_assistant) dbr:Caml dbr:Gérard dbr:ACM_Software_System_Award dbr:European_Association_for_Theoretical_Computer_Science dbr:Jean-Marie_Hullot dbr:Herbrand_Award dbr:Unification_(computer_science) dbr:Abstract_rewriting_system dbr:Maurice_Nivat dbr:OCaml dbr:Newman's_lemma dbr:Coq dbr:Thierry_Coquand dbr:Constructive_proof dbr:Zipper_(data_structure) dbr:Higher-order_logic dbr:Rewriting dbr:List_of_logicians dbr:Xavier_Leroy dbr:List_of_programming_language_researchers dbr:Huet dbr:Christine_Paulin-Mohring dbr:François_Fages dbr:Gerard_Huet
is dbp:doctoralAdvisor of	dbr:Thierry_Coquand dbr:Xavier_Leroy dbr:Christine_Paulin-Mohring dbr:François_Fages
is dbp:doctoralStudents of	dbr:Maurice_Nivat
is foaf:primaryTopic of	wikipedia-en:Gérard_Huet