Une investigation logique des systèmes d'interaction

par Pierre Hyvernat

Thèse de doctorat en Mathématiques discrètes et fondements de l'informatique

Sous la direction de Thomas Ehrhard et de Thierry Coquand.

Soutenue en 2005

à Aix Marseille 2 , en partenariat avec Université d'Aix-Marseille II. Faculté des sciences (autre partenaire) .

  • Titre traduit

    A logical investigation of interaction systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (198 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. : p.[191]-196.Index

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 : 43819
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.