Semantics Column

It is a great pleasure to introduce this paper by my old friend Glynn Winskel. Game semantics has been growing vigorously since the early 2000's with the breakthrough work of Abramsky, Jagadeesan and Malacaria and Hyland and Ong as well as Hanno Nickau on capturing the notion of sequentiality in functional programming languages. Many extensions appeared in the following years capturing concepts like nondeterminism, state and control flow. More recently Abramsky and his collaborators have developed the notion of game comonads and made connections with complexity theory; this was the subject of an earlier article in this column.