Skip to Main content Skip to Navigation
Theses

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.

Résumé : 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.
Document type :
Theses
Complete list of metadatas

Cited literature [174 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00523810
Contributor : Amokrane Saibi <>
Submitted on : Wednesday, October 6, 2010 - 1:00:07 PM
Last modification on : Friday, May 29, 2020 - 3:58:54 PM
Document(s) archivé(s) le : Friday, January 7, 2011 - 2:38:14 AM

Identifiers

  • HAL Id : tel-00523810, version 1

Citation

Amokrane 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.. Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 1999. Français. ⟨tel-00523810⟩

Share

Metrics

Record views

524

Files downloads

924