Focusing in Asynchronous Games - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Focusing in Asynchronous Games

Résumé

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.
Fichier principal
Vignette du fichier
mimram_cie10.pdf (151.2 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00473967 , version 1 (17-04-2010)

Identifiants

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

Citer

Samuel Mimram. Focusing in Asynchronous Games. 6th Conference on Computability in Europe, Jun 2010, Ponta Delgada, Portugal. pp.331-341. ⟨inria-00473967⟩
73 Consultations
110 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More