Communication Dans Un Congrès Année : 2002

Polarized games

Résumé

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.

Fichier non déposé

Dates et versions

hal-00009138 , version 1 (27-09-2005)

Identifiants

Citer

Olivier Laurent. Polarized games. 2002, pp.265-274, ⟨10.1109/LICS.2002.1029835⟩. ⟨hal-00009138⟩
68 Consultations
0 Téléchargements

Altmetric

Partager

  • More