Where can I find introductory books, articles, notes or slides on Game Semantics?

I have searched a lot on the internet but I'm not satisfied by the material I found. It either is too informal, or it assumes too much knowledge of/attitude to other kind of semantics, and it's hard to follow for a beginner.

Ideally the material shouldn't have any prerequisites, except a little of game theory and few concepts of semantics.

Examples of the material that I've found are:

  • 1
    $\begingroup$ We don't have a strict policy for list questions, but there is a general dislike. Please note also this and this discussion; you might want to improve your question as to avoid the problems explained there. $\endgroup$
    – Raphael
    Commented Aug 27, 2013 at 10:50
  • 2
    $\begingroup$ Have you seen Guy McCusker's Marktoberdorf lecture notes? $\endgroup$ Commented Aug 27, 2013 at 13:32
  • 2
    $\begingroup$ @Raphael I understand the dislike, but I don't see where else should I ask such a question. Surely not on TCS. Also, the meta question you linked has positive votes(which I think means there is an interest in dealing with these questions) but it has two answer, both downvoted, which I take as if there isn't any consensus on the matter at the moment. If you think that I could improve the question, then could you tell me what you think it currently lacks, or how would you write it? $\endgroup$
    – Bakuriu
    Commented Aug 27, 2013 at 17:41
  • $\begingroup$ @Bakuriu I understand your problem, but unfortunately "there is no other place" != "this is the right place". The usual way to approach literature research is by a) walking backward from current research articles, b) walking forward from seminal work and c) personal recommendation from experts. Neither works well on SE; in particular, c) is problematic because answers are unlikely to be objectively justified (but more along the lines of "I like X, it's good"). Unfortunately, among many similar questions (several closed by now) now good strategy to deal with questions such as yours has emerged. $\endgroup$
    – Raphael
    Commented Aug 27, 2013 at 17:46
  • $\begingroup$ @Raphael The OP asked for introductions to a subject that require at most certain background (."little of game theory and few concepts of semantics"); the question is possible to answer objectively, in my opinion (I have posted an answer, see below). $\endgroup$
    – Jay
    Commented Mar 4, 2016 at 13:10

1 Answer 1


I know three introductions that may satisfy your criteria. All of them will use some Category Theory, but the first one (by Jürjens) is actually quite light on that side -- he actually defines what categories and morphisms are in the context of game semantics, on page 111 (11th page of the article). You may want to read this one first, and then the others.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.