WorldCat Identities

Huet, Gérard

Overview
Works: 86 works in 179 publications in 2 languages and 1,793 library holdings
Genres: Conference proceedings 
Roles: Editor, Other
Classifications: P98, 005.72
Publication Timeline
Key
Publications about  Gérard Huet Publications about Gérard Huet
Publications by  Gérard Huet Publications by Gérard Huet
Most widely held works about Gérard Huet
 
Most widely held works by Gérard Huet
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 by Jaime G Carbonell ( )
27 editions published between 2008 and 2009 in English and held by 822 WorldCat member libraries worldwide
Annotation
Logical foundations of functional programming ( Book )
9 editions published between 1989 and 1990 in English and held by 298 WorldCat member libraries worldwide
Logical frameworks ( Book )
10 editions published in 1991 in English and Undetermined and held by 215 WorldCat member libraries worldwide
Logical environments by implementation and experiment Logical frameworks: design ( Book )
8 editions published in 1993 in English and Undetermined and held by 181 WorldCat member libraries worldwide
Comprendre les méthodes formelles : panorama et outils logiques by Jean François Monin ( Book )
1 edition published in 1996 in French and held by 59 WorldCat member libraries worldwide
From semantics to computer science : essays in honour of Gilles Kahn by Yves Bertot ( Book )
4 editions published in 2009 in English and held by 17 WorldCat member libraries worldwide
Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn'Äôs achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The authors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology
A uniform approach to type theory by Gérard Huet ( Book )
5 editions published between 1988 and 1989 in English and held by 9 WorldCat member libraries worldwide
The author presents in a unified framework the basic syntactic structures used to model deductive and computational notions. The guiding principle is propositions as types. These course notes have been prepared for the Institute on Logical Foundations of Functional Programming organized by the University of Texas at Austin in June 1987. They will appear in Logical Foundations of Functional Programming, Addison-Wesley, 1989. We assume known elementary set theory and algebra. (KR)
Equations and rewrite rules a survey by Gérard Huet ( Book )
4 editions published in 1980 in English and Undetermined and held by 8 WorldCat member libraries worldwide
An algorithm to generate the basis of solutions to homogeneous linear diophantine equations by Gérard Huet ( Book )
4 editions published in 1978 in English and held by 8 WorldCat member libraries worldwide
Proofs by induction in equational theories with constructors by Gérard Huet ( Book )
4 editions published in 1980 in English and held by 7 WorldCat member libraries worldwide
Call by need computations in non-ambiguous linear term rewriting systems by Gérard Huet ( Book )
3 editions published in 1979 in English and held by 7 WorldCat member libraries worldwide
A Complete proof of correctness of the Knuth-Bendix completion algorithm by Gérard Huet ( Book )
4 editions published in 1980 in English and held by 5 WorldCat member libraries worldwide
On the Uniform halting problem for term rewriting systems by Gérard Huet ( Book )
3 editions published in 1978 in English and held by 5 WorldCat member libraries worldwide
Proving and applying program transformations expressed with second-order patterns by Gérard Huet ( Book )
3 editions published in 1977 in English and held by 5 WorldCat member libraries worldwide
Concepts mathématiques et informatiques formalisés dans le calcul des constructions by Thierry Coquand ( Book )
5 editions published between 1985 and 1986 in French and held by 5 WorldCat member libraries worldwide
Construction, amélioration de programmes by Institut de recherche d'informatique et d'automatique (France) ( Book )
1 edition published in 1975 in English and held by 5 WorldCat member libraries worldwide
Formes canoniques dans les algèbres finiment présentées by Philippe Le Chenadec ( Book )
1 edition published in 1983 in French and held by 4 WorldCat member libraries worldwide
On présente une étude des formes canoniques dans les algèbres présentées par générateurs et relations. Après un exposé du formalisme adopté (systèmes de réécriture et algorithme de complétion de Knuth-Bendix), il est montré que celui-ci fournit des algorithmes de mise sous forme canonique des présentations finies de monoïdes, groupes, anneaux, modules et algèbres. Cette approche permet de retrouver, et dans certains cas d'étendre le champ d'application d'algorithmes classiques. On donne un catalogue de présentations complètes fournies par l'implantation en Lisp des algorithmes décrits
<> by Gérard Huet ( Book )
2 editions published in 1976 in French and held by 4 WorldCat member libraries worldwide
Introduction du langage d'ordre omega . definition des ensembles complets d'unificateurs dans ce langage. presentation de divers algorithmes permettant d'engendrer un ensemble complet de pre-unificateurs. on donne des modifications a apporter a ces resultats en presence de la regle n. on reprend l'ensemble du probleme dans le cas de langages du premier ordre
La programmation : une approche fonctionnelle et récursive avec Scheme by Stéphane Ducasse ( Book )
1 edition published in 1996 in French and held by 4 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.75 (from 0.00 for <> ... to 0.97 for Cardete-Hu ...)
Alternative Names
Huet, Gèrard
Huet, Gérard P.
Huet Gérard Pierre 1947-....
Languages
English (88)
French (12)
Covers