André Hirschowitz Michel Hirschowitz Tom Hirschowitz Contraction-free proofs and finitary games for Linear Logic http://arxiv.org/abs/0905.4064 2009 CoRR abs/0905.4064 db/journals/corr/corr0905.html#abs-0905-4064 informal publication