3 citations · 6 across the 3 of their papers we have counts for
3 papers
math.LO2009
Les types de données syntaxiques du système F
Samir Farkh, Karim Nour
We give in this paper a purely syntactical definition of input and output types of system F. We define the syntactical data types as input and output types. We show that any type w…
math.LO2009★ 3 cited
Un Résultat de Complétude pour les Types du Système F
Karim Nour, Samir Farkh
We presente in this note a completeness result for the types with positive quantifiers of the J.-Y. Girard type system F. This result generalizes a theorem of R. Labib-Sami.
math.LO2009★ 3 cited
Résultats de complétude pour des classes de types du système AF2
Samir Farkh, Karim Nour
J.-L. Krivine introduced the AF2 type system in order to obtain programs (-terms) which calculate functions, by writing demonstrations of their totalities. We present in this pa…