Affine strategies in arena games
Russ Harmer · HAL (Le Centre pour la Communication Scientifique Directe) · 2005
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.