Paper: Polarized games (at LICS 2002)
Authors: Olivier LAURENTAbstract
We generalize the intuitionistic Hyland-Ong games to a notion of polarized games allowing games with plays starting by proponent moves. The usual constructions on games are adjusted to fit this setting yielding a game model for polarized linear logic with a definability result. As a consequence this gives a complete game model for various classical systems: LC, lambda-mu calculus, ... for both call-by-name and call-by-value evaluations.
BibTeX
@InProceedings{LAURENT-Polarizedgames, author = {Olivier LAURENT}, title = {Polarized games}, booktitle = {Proceedings of the Seventeenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2002}, year = 2002, editor = {Gordon Plotkin}, month = {July}, location = {Copenhagen, Denmark}, publisher = {IEEE Computer Society Press} }