TY  - RPRT
TI  - Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
AU  - Lawrence Dunn
AU  - Jamie Vicary
PY  - 2017
DO  - 10.4204/eptcs.238.4
UR  - https://arxiv.org/abs/1701.04917
ID  - 1701.04917
ER  -