Repetitive and ambiguous visual structures in general pose a severe problem in many
computer vision applications. Identification of incorrect geometric relations between images …

This book serves as an introduction to an area of computability theory that originated in the
1950s, and since then has fanned out in many different directions under the influence of …

Effects and coeffects are two general, complementary aspects of program behaviour. They
roughly correspond to computations which change the execution context (effects) versus …

A bi category of very general nondeterministic concurrent games and strategies is
presented. The intention is to formalize distributed games in which both Player (or a team of …

We extend our recent template game model of multiplicative additive linear logic (MALL)
with an exponential modality of linear logic (LL) derived from the standard categorical …

Behavioural symmetry is introduced into concurrent games. It expresses when plays are
essentially the same. A characterization of strategies on games with symmetry is provided …

We look at intensionality from the perspective of computation. In particular, we review how
game semantics has been used to characterize the sequential functional processes, leading …

We build a cartesian closed category, called Cho, based on event structures. It allows an
interpretation of higher-order stateful concurrent programs that is refined and precise: on the …

A new characterization of nondeterministic concurrent strategies exhibits strategies as
certain discrete fibrations—or equivalently presheaves—over configurations of the game …

Game semantics is the art of interpreting types as games and programs as strategies
interacting in space and time with their environment. In order to reflect the interactive …