| ||||
| ||||
![]() Title:What's in a game? Conference:GS 25 Tags:Category theory, Concurrent strategies, Game semantics and Sheaves Abstract: While most game models feature a rather intuitive setup, they also come with surprisingly difficult proofs of such basic results as associativity of composition of strategies. We propose a basic abstract framework for game semantics, (innocent) game settings, which enables the generic construction of a category of games and (innocent) strategies, thus unifying a number of concrete cases. What's in a game? ![]() What's in a game? | ||||
Copyright © 2002 – 2025 EasyChair |