Gérard Huet (informaticien)

Country : France
Language : français
Gender : masculin
Note :
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
Variant of the name : Gérard Pierre Huet
ISNI : ISNI 0000 0001 1932 5321

Activities of Gérard Huet (informaticien) (11)

Auteur du texte (7)

Sanskrit Computational Linguistics
Résolution d'équations dans les langages d'ordre
La Gestion des données dans les systèmes informatiques
A Mechanization of type theory
A Unification algorithm for type theory
Spécifications pour une base commune de données
Le Projet prévision-réalisation des vols

Éditeur scientifique (4)

Sanskrit computational linguistics
Sanskrit computational linguistics
Logical environments
Construction, amélioration de programmes

See also (7)