Loading [MathJax]/extensions/MathZoom.js
Polarized games
Laurent, Olivier
HAL, hal-00009138 / Harvested from HAL
Text on HAL
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.
Publié le : 2002-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO],  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 
@article{hal-00009138,
     author = {Laurent, Olivier},
     title = {Polarized games},
     journal = {HAL},
     volume = {2002},
     number = {0},
     year = {2002},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00009138}
}

Laurent, Olivier. Polarized games. HAL, Tome 2002 (2002) no. 0, . http://gdmltest.u-ga.fr/item/hal-00009138/