Symmetric dialogue games in the proof theory of linear logic

Olivier Delande. Symmetric dialogue games in the proof theory of linear logic. PhD thesis, École Polytechnique, Palaiseau, France, 2009. [doi]

Abstract

Abstract is missing.