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 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


Notices bibliographiques liées

Voir les notices liées en tant que : Voir toutes les notices liées (11)