رئاسـة البـحث : 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.

إصدارات 1999