Systèmes de réécriture et cohérence des isomorphismes de types dans les catégories localement closes

par Marcel Fouda Ndjodo

Thèse de doctorat en Information. Mathématiques et logique

Sous la direction de Anne Preller.


  • Résumé

    En utilisant une technique de reecriture de termes dans un langage formel de categories, un theoreme de coherence d'une classe d'isomorphismes canoniques est prouvee dans les categories localement closes. Une telle methode trouve ses applications dans l'etude de la decidabilite et de la coherence des isomorphismes de types


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 116 f.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr.f. 98-102

Où se trouve cette thèse ?

  • Bibliothèque : Université Aix-Marseille (Marseille. Luminy). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : 21407
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.