Contraction-free proofs and finitary games for Linear Logic. Hirschowitz, A., Hirschowitz, M., & Hirschowitz, T. CoRR, 2009.
Contraction-free proofs and finitary games for Linear Logic [link]Link  Contraction-free proofs and finitary games for Linear Logic [link]Paper  bibtex   
@article{journals/corr/abs-0905-4064,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Hirschowitz, André and Hirschowitz, Michel and Hirschowitz, Tom},
  biburl = {https://www.bibsonomy.org/bibtex/2c34b53cec8b6a94c5c1f5963fba23c43/dblp},
  ee = {http://arxiv.org/abs/0905.4064},
  interhash = {1585b5fcbfc314fa6370278514484666},
  intrahash = {c34b53cec8b6a94c5c1f5963fba23c43},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2018-08-14T13:17:15.000+0200},
  title = {Contraction-free proofs and finitary games for Linear Logic},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0905.html#abs-0905-4064},
  volume = {abs/0905.4064},
  year = 2009
}

Downloads: 0