%0 Thesis %1 phd/hal/Delande09 %A Delande, Olivier %D 2009 %K dblp %T Symmetric dialogue games in the proof theory of linear logic.

@phdthesis{phd/hal/Delande09, added-at = {2020-07-21T00:00:00.000+0200}, author = {Delande, Olivier}, biburl = {https://www.bibsonomy.org/bibtex/293fba1c86a5dc2ff3aff442c95f62990/dblp}, ee = {https://tel.archives-ouvertes.fr/pastel-00006196}, interhash = {86b3a2e9f06d0f7432036f8dde36e005}, intrahash = {93fba1c86a5dc2ff3aff442c95f62990}, keywords = {dblp}, school = {École Polytechnique, Palaiseau, France}, timestamp = {2020-07-24T00:54:53.000+0200}, title = {Symmetric dialogue games in the proof theory of linear logic.}, year = 2009 }