@misc{indiciaea1340d436d8e,
  title = {A language for multiplicative-additive linear logic},
  author = {J. R. B. Cockett and C. A. Pastro},
  year = {2004},
  url = {https://arxiv.org/abs/math/0404286},
  note = {Source identifier: math/0404286}
}