@Inproceedings{EPTCS292.5, author = {Kokke, Wen and Montesi, Fabrizio and Peressotti, Marco}, year = {2019}, title = {Taking Linear Logic Apart}, editor = {Ehrhard, Thomas and Fern\'andez, Maribel and Paiva, Valeria de and Tortora de Falco, Lorenzo }, booktitle = {{\rm Proceedings Joint International Workshop on} Linearity \& Trends in Linear Logic and Applications, {\rm Oxford, UK, 7-8 July 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {292}, publisher = {Open Publishing Association}, pages = {90-103}, doi = {10.4204/EPTCS.292.5}, }