Paul-André Melliès (CNRS, Paris, France), Tensorial logic with algebraic effects


  • Feb. 17, 2012, 14:00 - 15:00


Tensorial logic is a primitive logic of tensor and negation which refines linear logic by relaxing the hypothesis that negation is involutive. I will explain how the logic provides a type-theoretic foundation to game semantics, and how it may be extended with algebraic effects in order to recover specific categories of games and strategies.