@article{strassburger:inria-00441214, TITLE = {{A System of Interaction and Structure IV: The Exponentials and Decomposition}}, AUTHOR = {Strassburger, Lutz and Guglielmi, Alessio}, URL = {https://inria.hal.science/inria-00441214}, JOURNAL = {{ACM Transactions on Computational Logic}}, PUBLISHER = {{Association for Computing Machinery}}, VOLUME = {12}, NUMBER = {4}, PAGES = {23}, YEAR = {2011}, DOI = {10.1145/1970398.1970399}, PDF = {https://inria.hal.science/inria-00441214/file/SIS-IV.pdf}, HAL_ID = {inria-00441214}, HAL_VERSION = {v1}, }