TY  - RPRT
TI  - A language for multiplicative-additive linear logic
AU  - J. R. B. Cockett
AU  - C. A. Pastro
PY  - 2004
UR  - https://arxiv.org/abs/math/0404286
ID  - math/0404286
ER  -