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
Identifiant international de l'autorité :
ISNI 0000 0001 1932 5321
, cf.
http://isni.org/isni/0000000119325321
Identifiant de la notice : ark:/12148/cb11907937c
Notice n° :
FRBNF11907937
Création :
76/06/16
Mise à jour :
02/10/23