Sequoidal categories and transfinite games: a coalgebraic approach to stateful objects in game semantics

From MaRDI portal