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)

  • 551 _ _ ‎‡a  Bourges German National Library

Open Section Close SectionWorks

Title Sources
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
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 / ed. by Gérard Huet, G. Plotkin. - Cambridge, 1991. Library of Congress/NACO NUKAT Center of Warsaw University Library
Logical frameworks [first annual Workshop of the ESPRIT Basic Research Action 3245, "Logical Frameworks : Design, Implementations and Experiment", Sophia-Antipolis, 7th-11th of May, 1990] Sudoc [ABES], France
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 Providence, RI, USA, May 15-17, 2008 : Revised Selected and Invited Papers Library of Congress/NACO German National Library National Library of France Sudoc [ABES], France
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 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)