112
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
We show how to construct the category of games and innocent strategies from a more primitive category of games. On that category we define a comonad and monad with the former dis...