Huet, Gérard, 1947-
Huet, Gérard, 1947-...., informaticien
Huet, Gérard
Gérard Huet
VIAF ID: 14812854 ( Personal )
Permalink: http://viaf.org/viaf/14812854
Preferred Forms
- 100 0 _ ‡a Gérard Huet
- 200 _ | ‡a Huet ‡b Gérard ‡f 1947-.... ‡c informaticien
-
- 100 1 _ ‡a Huet, Gérard
-
-
- 100 1 _ ‡a Huet, Gérard ‡d 1947-
- 100 1 _ ‡a Huet, Gérard, ‡d 1947-...., ‡c informaticien
-
- 100 1 _ ‡a Huet, Gérard
-
-
- 100 1 _ ‡a Huet, Gérard ‡d 1947-
-
4xx's: Alternate Name Forms (20)
5xx's: Related Names (3)
- 551 _ _ ‡a Bourges ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Institut National de Recherche en Informatique et en Automatique ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Le Chesnay ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
Title | Sources |
---|---|
Algèbres touffues : application au typage polymorphe des objets enregistrements dans les langages fonctionnels | |
Une automatisation du calcul des résidus en sémantique naturelle | |
An automatization of residual computations in natural semantics. | |
UN CALCUL DE SUBSTITUTIONS POUR LA REPRESENTATION DE PREUVES PARTIELLES EN THEORIE DE TYPES | |
Call by need computations in non-ambiguous linear term rewriting systems | |
the CAML primer : version 2.6.1 projet formel promotion 1990 (2eme année) | |
Canonical forms in finitely presented algebras. | |
Comprendre les méthodes formelles : panorama et outils logiques | |
Computational Sanskrit & digital humanities : selected papers presented at the 17th World Sanskrit Conference, University of British Columbia, Vancouver, 9-13 July 2018 | |
CONCEPTION D'UN LANGAGE DE HAUT NIVEAU DE REPRESENTATION DE PREUVES : RECURRENCE PAR FILTRAGE DE MOTIFS UNIFICATION EN PRESENCE DE TYPES INDUCTIFS PRIMITIFS SYNTHESE DE LEMMES D'INVERSION | |
Confluence properties of rewrite rules by decreasing diagrams | |
Construction, amélioration de programmes | |
Démonstration automatique en logique classique : complexité et méthodes | |
Design and analysis of a lean interface for Sanskrit corpus annotation | |
Évaluation paresseuse des filtrages avec priorité, application au langage ML... | |
Exact arithmetic: design, algorithms and performance of an arbitrary-precision computer implementation. | |
Formes canoniques dans les algèbres finiment présentées | |
From semantics to computer science : essays in honour of Gilles Kahn | |
Functional languages and parallelism : an implementation for the caml system. | |
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 | |
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions | |
Langages fonctionnels et parallélisme : une réalisation pour le système Caml | |
Langue et science, langage et pensée | |
Lexique sanscrit-français à l'usage de glossaire indianiste, 1996: | |
Logical environments | |
Logical foundations of functional programming | |
Logical frameworks | |
Machines d'Eilenberg effectives | |
Mechanization of type theory | |
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 | |
Projet prévision-réalisation des vols, par Gérard Huet,.. | |
Proofs by induction in equational theories with constructors | |
Propriétés de confluence des règles de réécriture par des diagrammes décroissants. | |
Proving and improving programs, anglais | |
REPRESENTATION FIDELE DE STRUCTURES MATHEMATIQUES TELLES QUE LES QUOTIENTS DANS UN CADRE CONSTRUCTIF | |
REPRESENTATION INTENTIONNELLE D'ALGORITHMES DANS LES SYSTEMES FONCTIONNELS : UNE ETUDE DE CAS | |
Résolution d'équations dans les langages d'ordre 1, 2, ...,ω | |
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 | |
Spécifications pour une base commune de données | |
Systèmes d'information, 1980: | |
Théorie des types et procédures de décision | |
TYPAGE POLYMORPHE D'UN LANGAGE ALGORITHMIQUE | |
Unification algorithm for type theory | |
Vers un environnement d’aide au développement de preuves en sémantique naturelle |