@misc{indiciae73aebb193e77,
  title = {The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)},
  author = {Daniel de Carvalho and Lorenzo Tortora de Falco},
  year = {2011},
  url = {https://arxiv.org/abs/1002.3131},
  note = {Source identifier: 1002.3131}
}