SAIBI Amokrane
Forschungsleitung (Direction de recherche) : 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.
Verteidigung einer Doktorarbeit : 13.03.1999
Datum, an dem das LIP6 verlassen wurde : 01.04.1999