TY  - RPRT
TI  - Contraction-free proofs and finitary games for Linear Logic
AU  - André Hirschowitz
AU  - Michel Hirschowitz
AU  - Tom Hirschowitz
PY  - 2009
DO  - 10.1016/j.entcs.2009.07.095
UR  - https://arxiv.org/abs/0905.4064
ID  - 0905.4064
ER  -