Conway games, algebraically and coalgebraically

Furio Honsell, Marina Lenisa

Using coalgebraic methods, we extend Conway's theory of games to possibly non-terminating, i.e. non-wellfounded games (hypergames). We take the view that a play which goes on forev…