SAIBI Amokrane
Relatore : 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.
Difesa : 03/13/1999
Data di partenza : 04/01/1999