TY  - RPRT
TI  - ΣΠ-polycategories, additive linear logic, and process semantics
AU  - C. A. Pastro
PY  - 2004
UR  - https://arxiv.org/abs/math/0312422
ID  - math/0312422
ER  -