@misc{indiciae958de9a002ac,
  title = {Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic},
  author = {Maxime Amblard and Christian Retoré},
  year = {2014},
  url = {https://arxiv.org/abs/1402.0474},
  note = {Source identifier: 1402.0474}
}