Focusing in Asynchronous Games

Abstract : Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as games on which proofs induce strategies. We are specifically interested here in relating two such semantics of linear logic, of very different flavor, which both take in account concurrent features of the proofs: asynchronous games and concurrent games. Interestingly, we show that associating a concurrent strategy to an asynchronous strategy can be seen as a semantical counterpart of the focusing property of linear logic.
Type de document :
Communication dans un congrès
Fernando Ferreira and Benedikt Löwe and Elvira Mayordomo and Luís Mendes Gomes. 6th Conference on Computability in Europe, Jun 2010, Ponta Delgada, Portugal. 6158, pp.331-341, 2010, LNCS
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00473967
Contributeur : Samuel Mimram <>
Soumis le : samedi 17 avril 2010 - 13:58:53
Dernière modification le : mercredi 14 février 2018 - 14:17:52
Document(s) archivé(s) le : mardi 28 septembre 2010 - 11:56:31

Fichiers

mimram_cie10.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00473967, version 1
  • ARXIV : 1004.3134

Collections

CEA | DRT | LIST

Citation

Samuel Mimram. Focusing in Asynchronous Games. Fernando Ferreira and Benedikt Löwe and Elvira Mayordomo and Luís Mendes Gomes. 6th Conference on Computability in Europe, Jun 2010, Ponta Delgada, Portugal. 6158, pp.331-341, 2010, LNCS. 〈inria-00473967〉

Partager

Métriques

Consultations de la notice

173

Téléchargements de fichiers

82