loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
17th Annual IEEE Symposium on Logic in Computer Science (LICS'02)
Polarized Games
Copenhagen, Denmark
July 22-July 25
ISBN: 0-7695-1483-9
Olivier Laurent, CNRS and University Paris 7
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.