SAIBI Amokrane
Supervision : Thérèse HARDIN
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.
Defence : 03/13/1999
Departure date : 04/01/1999