Focusing in asynchronous games

  • Authors:
  • Samuel Mimram

  • Affiliations:
  • CEA, LIST, École Polytechnique, Laboratory for the Modelling and Analysis of Interacting Systems, Gif-sur-Yvette, France

  • Venue:
  • CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

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.