3 citations · 3 across the 2 of their papers we have counts for
2 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
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…