Accéder directement au contenu Accéder directement à la navigation
Thèse

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

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.
Liste complète des métadonnées

Littérature citée [159 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-02613539
Contributeur : Abes Star :  Contact
Soumis le : mercredi 20 mai 2020 - 11:11:47
Dernière modification le : mardi 26 mai 2020 - 08:40:30

Fichier

edgalilee_th_2018_delvecchio.p...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-02613539, version 1

Collections

Citation

Stefano del Vecchio. Process Algebras inside Ludics : an interpretation of the Calculus of Communicating Systems. Symbolic Computation [cs.SC]. Université Sorbonne Paris Cité, 2018. English. ⟨NNT : 2018USPCD075⟩. ⟨tel-02613539⟩

Partager

Métriques

Consultations de la notice

15

Téléchargements de fichiers

4