Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International