Algèbres de processus dans la Ludique : une interprétation du Calcul des Systèmes Communicants

par Stefano Del vecchio

Thèse de doctorat en Informatique

Sous la direction de Virgile Mogbil et de Vito Michele Abrusci.

Soutenue le 19-09-2018

à Sorbonne Paris Cité , dans le cadre de École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) , en partenariat avec Laboratoire informatique de Paris-Nord (Villetaneuse, Seine-Saint-Denis) (laboratoire) et de Université Paris 13 (Etablissement de préparation) .

Le président du jury était Christophe Fouqueré.

Le jury était composé de Virgile Mogbil.

Les rapporteurs étaient Myriam Quatrini, Scott Phil.


  • Résumé

    À partir des travaux dont l'objectif est d'étendre la correspondance de Curry-Howard au-delà du monde fonctionnel, et notamment aux algèbres de processus par exemple à travers la logique linéaire, on donne une contrepartie à la Curry-Howard pour le Calcul des Systèmes Communicants (CCS) de Milner, avec la ludique de Girard comme système cible.

  • Titre traduit

    Process Algebras inside Ludics : an interpretation of the Calculus of Communicating Systems


  • Résumé

    Starting from works aimed at extending the Curry-Howard correspondence beyond the functional world, in particular to process calculi, thorugh linear logic, we give another Curry-Howard counterpart for Milner's Calculus of Communicating Systems (CCS), by taking Girard’s ludics as the target system.


Il est disponible au sein de la bibliothèque de l'établissement de soutenance.

Consulter en bibliothèque

La version de soutenance existe

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris 13 (Villetaneuse, Seine-Saint-Denis). Bibliothèque universitaire.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.