2017/01/18 by Lawrence Dunn, Jamie Vicary
Computer Science · #cs.LO
paper · pdf · doi:10.4204/eptcs.238.4
published as EPTCS 238, 2017, pp. 33-43 · In Proceedings LINEARITY 2016, arXiv:1701.04522
arxiv created 2017/01/18 · arxiv updated 2017/01/19
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.