Olivier Delande

Symmetric dialogue games in the proof theory of linear logic.
. École Polytechnique, Palaiseau, France, (2009)
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found