Confluence en -calcul

par Walter Py

Thèse de doctorat en Sciences et techniques

Sous la direction de René David.

Soutenue en 1998

à Chambéry .

    mots clés mots clés


  • Résumé

    Le -calcul est une extension du -calcul associée a la logique classique. Cette thèse contient : - une collection de résultats généraux sur les systèmes de réduction abstraits (lemmes de hindley-rosen, newman et autres) ; - les preuves de la confluence du -calcul avec ou sans la -réduction ; - des résultats de terminaison, de standardisation et de retardement sur les réduction du -calcul ; - une étude sur la forme normale des -termes ; - l'exhibition de -termes operationnellement-equivalents et non calculatoirement-equivalents, avec comme corollaire un contre-exemple au théorème de Böhm ; - une introduction a un -calcul par valeur confluent et qui préserve le type par réduction.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 117 p.
  • Annexes : 29 ref.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Savoie Mont Blanc (Le Bourget-du-Lac, Savoie). Bibliothèques universitaires. BU Bourget-du-Lac.
  • Disponible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1998CHAMS017
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.