Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics.

William John Gowers, James Laird

Browse the full CALCO paper archive.