*Titre : « réalisabilité et types de données en lambda-calcul classique » *Résumé : La classe des types de données usuels définie syntaxiquement par J.-L. Krivine dans une logique du seconde ordre a la particularité suivante : un lambda-te

par Mohamad Ziadeh

Projet de thèse en Mathématiques et Informatique

Sous la direction de Karim Nour.

Thèses en préparation à Grenoble Alpes , dans le cadre de Mathématiques, Sciences et technologies de l'information, Informatique , en partenariat avec LAMA - Laboratoire de mathématiques de l'Université de Savoie (laboratoire) depuis le 01-01-2010 .

  • Titre traduit

    The class of common types of data defined syntactically by JL Krivine in a second order logic has the following feature: a normal lambda term is typable of such type if and only if it carries out this type . This property can also be seen as a defini


  • Pas de résumé disponible.