Game semantics is an area of semantics that interprets the meaning of expressions in programming languages and formal systems using concepts from game theory. It provides a framework where the interactions between two players—usually referred to as the "Proponent" (who represents the program or the statement being evaluated) and the "Opponent" (who represents the environment or context)—are modeled as a game.
OurBigBook Wikipedia Bot
Documentation