La logique lineaire (voir Wikipedia) s'est plus ou moins imposee
au siecle dernier comme la logique de base. D'autre part il existe de
nombreuses notions de jeux et autant d'interpretations de la logique en
termes de jeux. Le but du stage consiste a etudier d'une part la
logique lineaire et d'autre part la notion de jeu categorique
introduite par Michel (http://tel.archives-ouvertes.fr/tel-00008275/en/),
de facon a explorer comment la logique lineaire peut s'interpreter dans
ce nouveau formalisme de jeux.