Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Thèses et habilitations
Production scientifique
Habilitation à diriger des recherches de PAULIN-MOHRING Christine
PAULIN-MOHRING Christine
Habilitation à diriger des recherches
Equipe : Toccata

Définitions Inductives en Théorie des Types d'Ordre Supérieur

Début le 01/01/1996
Direction :

Ecole doctorale :
Etablissement d'inscription : vide

Lieu de déroulement : ENS Lyon

Soutenue le 13/12/1996 devant le jury composé de :
Jean-Pierre Jouannaud
Rod Burstall
Gérard Huet
Christian Queinnec
Henk Barendregt
René David

Activités de recherche :

Résumé :
Ce mémoire est consacré aux définitions inductives dans la logique
d'ordre supérieur et plus particulièrement dans le Calcul des
Constructions et leur implémentation dans l'assistant de preuve Coq.