-
1
-
2
-
3
Les types de données syntaxiques du système ${\cal F}
Veröffentlicht in RAIRO. Informatique théorique et applications
VolltextArtikel -
4
-
5
-
6
-
7
-
8
-
9
Résultats de complétude pour des classes de types du système AF2
Veröffentlicht in arXiv.org
VolltextArtikel -
10
Un Résultat de Complétude pour les Types \(\forall^+\) du Système F
Veröffentlicht in arXiv.org
VolltextArtikel -
11
-
12
-
13
-
14
-
15