paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 026927241Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

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

Variante de point d'accès

Huet, Gérard P
[Nom de personne]

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : Francais
Pays : France
Date de naissance :    1947
Genre : Masculin

Notes

Note publique d'information : 
Docteur ès sciences mathématiques (Paris VII, 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

Note générale sur le champ d'application : 
Ne pas confondre avec : "Huet, Gérard (1941-....)", en poste à Air-France et également auteur d'ouvrages d'informatique

Note publique d'information : 
Titulaire d'une thèse de Doctorat d'etat en Mathématiques à l'Université de Paris 7, 1976

Source

BN Cat. gén. 1970-1979 : forme rejetée [confondu avec : Huet, Gérard (1941-....)]

Construction, amélioration de programmes / ed. G. Huet, G. Kahn, 1975. A Mechanization of type theory / Gérard P. Huet, 1973

Résolution d'équations dans les langages d'ordre 1, 2, ...,ω / Gérard Huet, 1976 [Thèse]

Autres identifiants

Identifiant BNF : FRBNF119079379
Identifiant VIAF : http://viaf.org/viaf/14812854
Identifiant ISNI : 0000000119325321

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

... Références liées : ...