Formalization of Mathematics in Type Theory. Generic tools of Modelisation and Demonstration. Application to Category Theory
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é
Formalization of Mathematics in Type Theory. Generic tools of Modelisation and Demonstration. Application to Category Theory
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.
Domaines
Autre [cs.OH]
Fichier principal
Saibi_-_1999_-_Outils_GA_nA_riques_de_modA_lisation_et_de_dA_monstration_pour_la_Formalisation_des_MathA_matiques_en_thA_orie_des_Types_Application_A_la_thA_orie_des_catA_gories.pdf (1.21 Mo)
Télécharger le fichier
Loading...