Reference introductory books or articles to Game Semantics

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:

-
Notes on Game Semantics: These are quite good, but they lack a bit of formalism at the beginning and I find some explanations or examples difficult to follow.

-
Tutorial on Game Semantics: Slides; they lack oral explanations.

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.

• Games in the Semantics of Programming Languages -- an elementary introduction by Jan Jürjens.

• Game Semantics by Abramsky and McCusker.

• Semantics of Interaction (arXiv:1312.0121v1 [cs.LO]) by Abramsky.

StackExchange Computer Science Q#13963, answer score: 2