VIAF

Virtual International Authority File

Search

Huet, Gérard, 1947-...., informaticien National Library of France Sudoc [ABES], France

Huét, Gerard 1947- German National Library NUKAT Center of Warsaw University Library ISNI

Huet, Gérard Library of Congress/NACO National Library of the Netherlands

Gérard Huet Wikidata

VIAF ID: 14812854 (Personal)

Permalink: http://viaf.org/viaf/14812854

ISNI: 0000  0001  1932  5321 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (12)

Open Section Close Section 5xx's: Related Names (1)

Open Section Close SectionWorks

Title Sources
Canonical forms in finitely presented algebras. Sudoc [ABES], France
Comprendre les méthodes formelles panorama et outils logiques Sudoc [ABES], France
Construction, amélioration de programmes National Library of France Sudoc [ABES], France
Formes canoniques dans les algèbres finiment présentées Sudoc [ABES], France
From semantics to computer science essays in honour of Gilles Kahn Sudoc [ABES], France
Gestion des données dans les systèmes informatiques Library of Congress/NACO National Library of France
Initiation au [lambda]-calcul : notes de cours du DEA "Fonctionnalité, structures de calcul et programmation" donné à l'université Paris VII en 1987-88 et 1988-89 Sudoc [ABES], France
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions Sudoc [ABES], France NUKAT Center of Warsaw University Library
Lexique sanscrit-français à l'usage de glossaire indianiste, 1996: Library of Congress/NACO
Logical environments Library of Congress/NACO National Library of France Sudoc [ABES], France
Logical foundations of functional programming Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France NUKAT Center of Warsaw University Library
Logical frameworks Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library
Machines d'Eilenberg effectives Sudoc [ABES], France
Mechanization of type theory National Library of France
Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types application à la Théorie des Catégories Sudoc [ABES], France
Projet prévision-réalisation des vols, par Gérard Huet,.. National Library of France Sudoc [ABES], France
Proving and improving programs National Library of France Sudoc [ABES], France
Résolution d'équations dans les langages d'ordre 1, 2, ...,ω National Library of France Sudoc [ABES], France
Sanskrit computational linguistics first and second international symposia, Rocquencourt, France, October 29-31, 2007, [and] Providence, RI, USA, May 15-17, 2008 revised selected and invited papers National Library of France Sudoc [ABES], France Library of Congress/NACO German National Library
Spécifications pour une base commune de données National Library of France Sudoc [ABES], France
Systèmes d'information : introduction à une construction participative Library of Congress/NACO
Unification algorithm for type theory National Library of France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:14812854 (15)