Knowledge Tree

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