A Concrete Presentation of Game Semantics


We briefly present a new representation theory for game semantics which is very concrete: instead of playing in an arena game in which P plays the innocent strategy given by a term, the same game is played out over (a souped up version of) the abstract syntax tree of the term itself. The plays that are thus traced out are called traversals. More abstractly… (More)
View Slides


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics