TY  - RPRT
TI  - A Coding Theoretic Study on MLL proof nets
AU  - Satoshi Matsuoka
PY  - 2010
DO  - 10.1017/s0960129511000582
UR  - https://arxiv.org/abs/cs/0703018
ID  - cs/0703018
ER  -