Notes on game semantics

The subject called game semantics grew out as a coherent body of work from two seminal works of the early 1990’s, with forerunners in logic, recursion theory, and semantics. Game semantics allows to provide precise and also natural, interactive semantics to most of the classical features of programming such as functions, con-trol, references. The precision is measured by definability and in some cases by full interpretation are being developed, which opens the way for connecting the uses of games in semantics and in verification.