most citedRésultats de complétude pour des classes de types du système AF2

3 citations · 3 across the 2 of their papers we have counts for

collaborators
Showing math.LOShow all

2 papers · 1 filter

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…