Introduction to Game Semantics

Research output: Contribution to conferenceOther

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.

Bibliographical metadata

Original languageEnglish
Publication statusPublished - Jun 2012
EventTwenty-eighth Conference on the Mathematical Foundations of Programming Semantics - University of Bath
Event duration: 6 Jun 20129 Jun 2012

Conference

ConferenceTwenty-eighth Conference on the Mathematical Foundations of Programming Semantics
CityUniversity of Bath
Period6/06/129/06/12