10 citations
2 papers
cs.LO2017★ 1 cited
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
Lawrence Dunn, Jamie Vicary
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 geometrica…
cs.LO2016★ 10 cited
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
Lawrence Dunn, Jamie Vicary
We prove coherence theorems for Frobenius pseudomonoids and snakeorators in monoidal bicategories. As a consequence we obtain a 3d notation for proofs in nonsymmetric multiplicativ…