| 2003 | ||
|---|---|---|
| 3 | Samir Farkh, Karim Nour: Complete types in an extension of the system AF2. Journal of Applied Non-Classical Logics 13(1): 73-86 (2003) | |
| 2001 | ||
| 2 | Samir Farkh, Karim Nour: Les types de données syntaxiques du système F. ITA 35(3): 207-221 (2001) | |
| 1997 | ||
| 1 | Samir Farkh, Karim Nour: Résultats de complétude pour des classes de types du système AF2. ITA 31(6): 513-537 (1997) | |
| 1 | Karim Nour | [1] [2] [3] |