Contribution a l'etude du lambda-calcul partiel

par Ramon Pino Pérez

Thèse de doctorat en Sciences appliquées

Sous la direction de Pierre-Louis Curien.

Soutenue en 1992

à Paris 7 .

    mots clés mots clés


  • Résumé

    Le lambda calcul-partiel est un formalisme qui se situe entre le lambda-calcul et le lambda-calcul par valeur. Il est mieux adapte a l'etude de l'equivalence de programmes ou le mecanisme d'evaluation est l'appel par valeur, ce qui est le cas de la plupart des langages fonctionnels existants. Nous etudions des proprietes syntaxiques et semantiques du lambda-calcul ainsi que des rapports entre ce dernier et d'autres formalismes tels que les algebres combinatoires partielles et la logique categorique combinatoire partielle. Un theoreme de decidabilite concernant une sous-theorie du lambda-calcul partiel, des theoremes d'equivalence et plusieurs methodes de construction des modeles sont les resultats principaux de ce travail


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 43 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1992
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.