@misc{indiciaee867f9e89e76, title = {A Coding Theoretic Study on MLL proof nets}, author = {Satoshi Matsuoka}, year = {2010}, doi = {10.1017/s0960129511000582}, url = {https://arxiv.org/abs/cs/0703018}, note = {Source identifier: cs/0703018} }