Algèbres de processus dans la Ludique : une interprétation du Calcul des Systèmes Communicants / Stefano Del vecchio ; sous la direction de Virgile Mogbil et de Vito Michele Abrusci

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Calcul formel

Logique de seuil

Isomorphisme de Curry-Howard

Mogbil, Virgile (Directeur de thèse / thesis advisor)

Abrusci, Vito Michele (1949-....) (Directeur de thèse / thesis advisor)

Fouqueré, Christophe (1961-....) (Président du jury de soutenance / praeses)

Quatrini, Myriam (Rapporteur de la thèse / thesis reporter)

Phil , Scott (mathématicien) (Rapporteur de la thèse / thesis reporter)

Université Sorbonne Paris Cité (Organisme de soutenance / degree-grantor)

École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire informatique de Paris-Nord (Villetaneuse, Seine-Saint-Denis) (Laboratoire associé à la thèse / thesis associated laboratory)

Université Paris 13 (Autre partenaire associé à la thèse / thesis associated third party)

Résumé / Abstract : À 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.

Résumé / Abstract : 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.