TY  - RPRT
TI  - Simulating Linear Logic in 1-Only Linear Logic
AU  - Max Kanovich
PY  - 2017
UR  - https://arxiv.org/abs/1709.02935
ID  - 1709.02935
ER  -