Correspondance entre la théorie des types de Martin-Lof et la théorie des constructions de Coquand
Type doc. :
Thèses / mémoires
Langue :
Français
Auteur(s) :
Année de soutenance:
[S.d.]
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| N° d'Exemplaire / inventaire | Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|---|
| 700I/SD/01 | 700I/SD/01 | externe | disponible |
Khemliche, S. & Mezghiche, M. ([S.d.] ). Correspondance entre la théorie des types de Martin-Lof et la théorie des constructions de Coquand (Magister) . Tizi-Ouzou.