( en | de | ru )

 

  3. Olivier Delande

Olivier Delande

Symmetric dialogue games in the proof theory of linear logic.
. École Polytechnique, Palaiseau, France, (2009)
  •  :
  •  :
далее