Paul-André Melliès (CNRS, Paris, France), Tensorial logic with algebraic effects
Schedule
- Feb. 17, 2012, 14:00 - 15:00
Abstract
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.
Attachments
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.