De l'oprateur de trace dans les jeux de Conway

Nicolas Tabareau

In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games aug…