Les types de données syntaxiques du système $ℱ$

Farkh, Samir; Nour, Karim

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 35 (2001) p. 207-221

Résultats de complétude pour des classes de types du système $\mathrm{𝒜ℱ}2$

Farkh, Samir; Nour, Karim

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 31 (1997) p. 513-537

Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés

Nour, Karim

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 31 (1997) p. 539-558

Opérateurs de mise en mémoire et types $\forall$-positifs

Nour, Karim

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 30 (1996) p. 261-293