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.

Publicaciones 1999

• 1999
  • A. Saibi : “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.”, tesis, defensa 13/03/1999, director de investigación Hardin, Thérèse (1999)