Documentation Documentation
Identifiant IdRef : 026927241
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

Langue d'expression : Francais

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

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