Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Faculty habilitation de PAULIN-MOHRING Christine
PAULIN-MOHRING Christine
Faculty habilitation
Group : Toccata

Inductive Definitions in Higher-order type theory

Starts on 01/01/1996
Advisor :

Funding :
Affiliation : vide
Laboratory : ENS Lyon

Defended on 13/12/1996, committee :
Jean-Pierre Jouannaud
Rod Burstall
Gérard Huet
Christian Queinnec
Henk Barendregt
René David

Research activities :

Abstract :
We study inductive definitions in higher-order logic, in particular in the Calculus of Constructions as weel as their implantation in the proof assistant Coq.