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.

Abstract : Formalization of Mathematics in Type Theory. Generic tools of Modelisation and Demonstration. Application to Category Theory
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 : Thursday, February 7, 2019 - 1:33:35 AM
Long-term archiving on: 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

478

Files downloads

828