5,438 followers
Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics. https://t.co/yxhcQCvfx6
Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics. https://t.co/yxhcQCvfx6
#arXiv #cs_LO "Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics. (arXiv:1702.00268v1 [cs.LO])" https://t.co/EWBmOm657z