Notice de personne

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

Nationalité(s) : 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

Notices liées

page.notice.action.voir.notices.liees Voir toutes les notices liées (10)