The description of resources in game semantics has never achieved the simplicity and
precision of linear logic, because of the misleading conception that linear logic is more …

We construct a denotational model of propositional linear logic based on asynchronous
games and winning uniform innocent strategies. Every formula A is interpreted as an …

In game semantics, the higher-order value passing mechanisms of the λ-calculus are
decomposed as sequences of atomic actions exchanged by a Player and its Opponent …

The structure theorem of Joyal, Street and Verity says that every traced monoidal category
arises as a monoidal full subcategory of the tortile monoidal category Int. In this paper we …

In game semantics, one expresses the higher-order value passing mechanisms of the λ-
calculus as sequences of atomic actions exchanged by a Player and its Opponent in the …

The exponential modality of linear logic associates a commutative comonoid! A to every
formula A in order to duplicate it. Here, we explain how to compute the free commutative …

In his recent and exploratory work on template games and linear logic, Melliès defines
sequential and concurrent games as categories with positions as objects and trajectories as …

We characterise the polarised evaluation order through a categorical structure where the
hypothesis that composition is associative is relaxed. Duploid is the name of the structure, as …

The exponential modality of linear logic associates to every formula A a commutative
comonoid! A which can be duplicated in the course of reasoning. Here, we explain how to …

In this paper, we consider a two-sided notion of dialogue category which we call dialogue
chirality and which we formulate as an adjunction between a monoidal category A of proofs …