Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
Lawrence Dunn, Jamie Vicary · Electronic Proceedings in Theoretical Computer Science · 2017
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.