What are some good resources for logic and game semantics?

New Answer
New Comment
2 comments, sorted by Click to highlight new comments since: Today at 8:54 AM

Maybe start with some domain theory and Stone duality? Depends on why it seems interesting. Steve Vickers's "Topology via Logic" can serve as a plan for that.

I've never heard of game semantics before, I looked it up and it seems mildly interesting, can you say more about how you discovered it and what you'd hope to learn from it?