Géométrie de l'interaction et réseaux différentiels

par Marc de Falco (De Falco)

Thèse de doctorat en Mathématiques

Sous la direction de Laurent Régnier.

Soutenue en 2009

à Aix Marseille 2 .

  • Titre traduit

    Geometry of interaction and differential nets


  • Pas de résumé disponible.


  • Résumé

    Dans cette thèse, nous nous intéressons à l'étude d'une sémantique non dénotationelle des preuves, ou programmes grâce à la correspondance Curry-Howard, la Géométrie de l'Interaction. Celle-ci consiste en une caractérisation algébrique des chemins préservés par élimination des coupures. Elle repose ainsi sur une présentation des preuves comme des graphes auxquels est associée une notion de chemins. Dans cette thèse, nous nous somme focalisés sur la présentation des données par les réseaux d'interaction. Dans un premier temps, nous présentons une définition complètement explicite de ces réseaux. Dans un second temps, nous présentons les définitions et propriétés en ue de définir une Géométrie de l'Interaction. Nous analysons notamment celle-ci pour une famille infini de lambda-termes. Finalement, nous nous plaçons dans le cadre des réseaux différentiels, extension de la logique linéaire, et construisons une Géométrie de l'Interaction de ceux-ci.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (133 p.)
  • Annexes : Bibliogr. p.131-133

Où se trouve cette thèse ?

  • Bibliothèque : Université Aix-Marseille (Marseille. Luminy). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : 49051
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.