Computer Science Laboratory Sorbonne Université - CNRS UMR 7606

LIP6 supports the Pink October campaign for breast cancer awareness.

Staff directory

SAIBI Amokrane

Postdoc - SPI

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.

Phd defence : 03/13/1999

Departure date : 04/01/1999

1999 Publications

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.”, thesis, phd defence 03/13/1999, supervision Hardin, Thérèse (1999)