Résultats de complétude pour des classes de types du système AF2. - Samir Farkh; Karim Nour (RAIRO Theor. Informatics Appl., 1997)

Les types de données syntaxiques du système F. - Samir Farkh; Karim Nour (RAIRO Theor. Informatics Appl., 2001)

Complete types in an extension of the system AF2. - Samir Farkh; Karim Nour (J. Appl. Non Class. Logics, 2003)