17th Annual IEEE Symposium on Logic in Computer Science (LICS'02) Polarized Games Copenhagen, Denmark July 22-July 25 ISBN: 0-7695-1483-9
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, \lamdba\mu-calculus, . . . for both call-by-name and call-by-value evaluations.
Citation:
Olivier Laurent, "Polarized Games," lics, pp.265, 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02), 2002 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||