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

DOI10.4230/LIPICS.CALCO.2017.13zbMATH Open1433.68202arXiv1706.00035MaRDI QIDQ4580209FDOQ4580209

William John Gowers, James Laird

Publication date: 13 August 2018

Full work available at URL: https://arxiv.org/abs/1706.00035

Recommendations

• Categories of coalgebraic games
• Coalgebraic multigames
• Multigames and strategies, coalgebraically
• Categories of coalgebraic games with selective sum
• scientific article; zbMATH DE number 1531365

zbMATH Keywords

game semanticstransfinite gamessequoid operatorstateful languages

Mathematics Subject Classification ID

Applications of game theory (91A80) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Cited In (2)

• From global to local state, coalgebraically and compositionally
• An axiomatic account of a fully abstract game semantics for general references

This page was built for publication: Sequoidal categories and transfinite games: a coalgebraic approach to stateful objects in game semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580209)