Game Semantics: Fully Abstract Models of PCF, AJM Games, and Strategies as SheavesA rigorous exploration of game semantics—the technique that cracked the full abstraction problem for PCF by modeling computation as dialogue between Player and Opponent.
