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-....)
< 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
Construction, amélioration de programmes / ed. G. Huet, G. Kahn, 1975 . - A Mechanization of type theory / Gérard P. Huet, 1973
Notice n° :
FRBNF11907937
Création :
76/06/16
Mise à jour :
02/10/23
