SAIBI Amokrane
PhD Student at Sorbonne University -
SPI
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.
Phd defence : 03/13/1999 Departure date : 04/01/1999