3 citations · 3 across the 4 of their papers we have counts for
4 papers · 1 filter
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…
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…
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
Karim Nour
A numeral system is a sequence of an infinite different closed normal -terms which has closed -terms for successor and zero test. A numeral system is said adequate iff it has…
La Valeur d'un Entier Classique en -Calcul
Karim Nour
In this paper, we present three methods to give the value of a classical integer in -calculus. The first method is an external method and gives the value and the false part of…