Affine strategies in arena games

Russ Harmer (1)

1 PPS - Preuves, Programmes et Systèmes

We show how to extract an SMCC of arenas and affine strategies from the CCC of arenas and innocent strategies, a process that essentially reverses the more usual construction of a CCC from an SMCC and the ! of linear logic.

Domaines: Logique en informatique [cs.LO]; Langage de programmation [cs.PL]; Informatique et théorie des jeux [cs.GT]

Russ Harmer. Affine strategies in arena games. 1st International Workshop on Games for Logic and Programming Languages, 2005, Edinburgh, United Kingdom. ⟨hal-00013015⟩