Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Gérard Huet

Gérard Huet

at_id:

orcid_id:

Disciplines:

Applied sciences
Common sciences and techniques
Computer sciences
Edit Merge See Links

Directed Thesis:

Machines d'Eilenberg effectives
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
Representation fidele de structures mathematiques telles que les quotients dans un cadre constructif
Un calcul de substitutions pour la representation de preuves partielles en theorie de types
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
Typage polymorphe d'un langage algorithmique
Representation intentionnelle d'algorithmes dans les systemes fonctionnels : une etude de cas
Demonstration automatique dans le calcul des constructions
Algebres des logiques modales et intuitionnistes : procedures de decision et formes canoniques
Contribution à l’optimisation de mécanismes de raisonnement dans des structures spécialisées de représentation des connaissances