Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics. - William John Gowers; James Laird (CALCO, 2017)

A Fully Abstract Game Semantics for Countable Nondeterminism. - William John Gowers; James David Laird (CSL, 2018)

The crossroads of categorical algebra and game semantics: an investigation into the application of Kleisli categories and related constructions to the study of Full Abstraction for nondeterministic effects in Algol-like languages. - William John Gowers (2020)