TY  - RPRT
TI  - A System of Interaction and Structure IV: The Exponentials and Decomposition
AU  - Lutz Strassburger
AU  - Alessio Guglielmi
PY  - 2010
DO  - 10.1145/1970398.1970399
UR  - https://arxiv.org/abs/0903.5259
ID  - 0903.5259
ER  -