Notice de personne

Notice

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

Pays : France

Langue(s) : français

Sexe : Masculin

Responsabilité(s) exercée(s) sur les documents : Auteur

Naissance : 1947-07-07

Docteur ès sciences mathématiques (Paris VI, 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

Forme(s) rejetée(s) :
< Huet, Gérard Pierre (1947-....)

Source(s) :
Construction, amélioration de programmes / ed. G. Huet, G. Kahn, 1975 . - A Mechanization of type theory / Gérard P. Huet, 1973

Identifiant international : ISNI 0000 0001 1932 5321 , cf. http://isni.org/isni/0000000119325321

Notice n° : FRBNF11907937

Création : 76/06/16

Mise à jour : 02/10/23