Huet, Gérard (1947-.... ; informaticien)

Huet, Gérard (1947-.... ; informaticien)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 026927241

URI de l'entité : http://www.idref.fr/026927241/id

Notice de type Personne

Point d'accès autorisé

Huet, Gérard (1947-.... ; informaticien)

Sur le web

Variante de point d'accès

Huet, Gérard P

[Nom de personne]

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français

Pays : France

Date de naissance : 1947

Genre : Masculin

Notes

Note publique d'information :

Docteur ès sciences mathématiques (Paris VII, 1976). Directeur de recherches à l'Institut national de recherche en informatique et automatique [INRIA] (en 1990). Signe "Gérard" ses publications en français et "Gérard P." ses publications en anglais

Note générale sur le champ d'application :

Ne pas confondre avec : "Huet, Gérard (1941-....)", en poste à Air-France et également auteur d'ouvrages d'informatique

Note publique d'information :

Titulaire d'une thèse de Doctorat d'etat en Mathématiques à l'Université de Paris 7, 1976

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/14812854

Identifiant Wikidata : Q974366

Identifiant ZBMath : huet.gerard-p

Identifiant Wikipédia : https://fr.wikipedia.org/wiki/Gérard_Huet

Identifiant SCOPUS : 7006166286

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb11907937c

Identifiant ISNI : 0000000119325321

Source

BN Cat. gén. 1970-1979 : forme rejetée [confondu avec : Huet, Gérard (1941-....)]

Construction, amélioration de programmes / ed. G. Huet, G. Kahn, 1975. A Mechanization of type theory / Gérard P. Huet, 1973

Résolution d'équations dans les langages d'ordre 1, 2, ...,ω / Gérard Huet, 1976 [Thèse]

... Références liées : ...