LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » PhD students

SAIBI Amokrane

PhD graduated - SPI
Departure date : 04/01/1999
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.

Defence : 03/13/1999

1999 Publications

 Mentions légales
Site map |