TY  - RPRT
TI  - A New Proof of P-time Completeness of Linear Lambda Calculus
AU  - Satoshi Matsuoka
PY  - 2013
UR  - https://arxiv.org/abs/1301.2763
ID  - 1301.2763
ER  -