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?
[Question] Game semantics
What are some good resources for logic and game semantics?
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?