Focusing in Asynchronous Games

Details Focusing in Asynchronous Games Focusing in Asynchronous Games

2010-04-19

arxiv.org/abs/1004.3134v1

6th Conference on Computability in Europe 6158 (2010)

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Focusing in Asynchronous Games does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Focusing in Asynchronous Games, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Focusing in Asynchronous Games will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-59470