Strong polynomial bound for light linear logic by levels

@article{Perrinel2012StrongPB,
  title={Strong polynomial bound for light linear logic by levels},
  author={Matthieu Perrinel},
  journal={CoRR},
  year={2012},
  volume={abs/1201.2956}
}