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

DOI10.4230/LIPICS.CALCO.2017.13MaRDI QIDQ4580209zbMATH OpenFDO

Authors William John Gowers, James Laird

Publication date 13 August 2018

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

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)

Recommendations

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

Cited in

(2)

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

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)