The following pages link to Samir Farkh (Q2773018):
Displaying 4 items.
- Les types de données syntaxiques du système ${\cal F}$ (Q2773019) (← links)
- Complete Types in an Extension of the System <i>AF</i>2 (Q3647204) (← links)
- Un résultat de complétude pour les types ∀+ du système F (Q4219570) (← links)
- Résultats de complétude pour des classes de types du système $\mathcal {AF}2$ (Q4389762) (← links)
