@Inproceedings{EPTCS238.4, author = {Dunn, Lawrence and Vicary, Jamie}, year = {2017}, title = {Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)}, editor = {Cervesato, Iliano and Fern\'andez, Maribel}, booktitle = {{\rm Proceedings Fourth International Workshop on} Linearity, {\rm Porto, Portugal, 25 June 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {238}, publisher = {Open Publishing Association}, pages = {33-43}, doi = {10.4204/EPTCS.238.4}, }