Caractérisation des termes ayant le même type principal dans le lambda-calcul simplement typé
Type doc. :
Thèses / mémoires
Langue :
Français
Auteur(s) :
Année de soutenance:
1998
| 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/1998/05 | 700I/1998/05 | externe | disponible |
Hemdani, C. & Mezghiche, M. (1998). Caractérisation des termes ayant le même type principal dans le lambda-calcul simplement typé (Magister) . Tizi-Ouzou.