Résultats de complétude pour des classes de types du système $\mathcal {AF}2$Samir Farkh and Karim NourRAIRO-Theor. Inf. Appl., 31 6 (1997) 513-537DOI: https://doi.org/10.1051/ita/1997310605131