@inproceedings{c763185b430a438b84810ad1165642e7,
title = "Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)",
abstract = "We show that a proof in multiplicative linear logic can be represented as a decorated surface, such that two proofs are logically equivalent just when their surfaces are geometrically equivalent. This is an extended abstract for arXiv:1601.05372",
author = "Lawrence Dunn and Jamie Vicary",
year = "2017",
month = jan,
day = "17",
doi = "10.4204/EPTCS.238.4",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "33--43",
editor = "{Cervesato }, { Iliano } and Fern{\'a}ndez, {Maribel }",
booktitle = "Proceedings Fourth International Workshop on Linearity",
note = "Fourth International Workshop on Linearity (LINEARITY 2016) ; Conference date: 25-06-2016 Through 25-06-2016",
}