The Philosopher
Gérard Huet
The face
The background
- Nationality:
- French
- Branchs:
- Type theory, Programming language theory, Theory of computation, Computational linguistics, Sanskrit
- Period:
- Contemporary
The synopsis
The works
Le Projet prévision-réalisation des vols
Spécifications pour une base commune de données
A Mechanization of Type Theory
The Undecidability of Unification in Third Order Logic
La Gestion des données dans les systèmes informatiques
A Unification Algorithm for Typed Lambda-Calculus
Resolution d'Equations dans des Langages d'Ordre 1,2,...ω
Proving and Applying Program Transformations Expressed with Second-Order Patterns
On the Uniform Halting Problem for Term Rewriting Systems
Proofs by Induction in Equational Theories with Constructors
Equations and Rewrite Rules: A Survey
A Complete Proof of Correctness of the Knuth-Bendix Completion Algorithm
Formal Structures for Computation and Deduction
Induction Principles Formalized in the Calculus of Constructions
Residual Theory in λ-Calculus: A Formal Development
Design Proof Assistant
Finite-state Transducers as Regular Böhm Trees
Regular Böhm Trees
Higher Order Unification 30 years later
Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation
The Zipper
Completeness Analysis of a Sanskrit Reader
Design of a lean interface for Sanskrit corpus annotation
Dictionnaire Héritage du Sanscrit