TY - GEN
T1 - Focusing in asynchronous games
AU - Mimram, Samuel
PY - 2010/7/29
Y1 - 2010/7/29
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-642-13962-8_37
DO - 10.1007/978-3-642-13962-8_37
M3 - Conference contribution
AN - SCOPUS:77954872340
SN - 3642139612
SN - 9783642139611
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 331
EP - 341
BT - Programs, Proofs, Processes - 6th Conference on Computability in Europe, CiE 2010, Proceedings
T2 - 6th Conference on Computability in Europe, CiE 2010
Y2 - 30 June 2010 through 4 July 2010
ER -