Samir Farkh

	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)

Coauthor Index

1

Karim Nour

[1] [2] [3]