## Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)

 Lawrence Dunn (North Florida Community College) Jamie Vicary (University of Oxford)

 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.

In Iliano Cervesato and Maribel Fernández: Proceedings Fourth International Workshop on Linearity (LINEARITY 2016), Porto, Portugal, 25 June 2016, Electronic Proceedings in Theoretical Computer Science 238, pp. 33–43.
Published: 17th January 2017.

 ArXived at: http://dx.doi.org/10.4204/EPTCS.238.4 bibtex PDF

 Comments and questions to: eptcs@eptcs.org For website issues: webmaster@eptcs.org