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

À 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.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