Abstract
This talks give an overview of games as they appear in game semantics with a particular emphasis on their global properties and unsolved problems. It reviews recent advances in understanding the two most commonly considered categories of games by suggesting the use of abstract constructions to derive these from simple base categories.
| Original language | English |
|---|---|
| Publication status | Published - Jun 2012 |
| Event | Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics - University of Bath Duration: 6 Jun 2012 → 9 Jun 2012 |
Conference
| Conference | Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics |
|---|---|
| City | University of Bath |
| Period | 6/06/12 → 9/06/12 |
Keywords
- game semantics