TY  - RPRT
TI  - Weak Typed Boehm Theorem on IMLL
AU  - Satoshi Matsuoka
PY  - 2005
DO  - 10.1016/j.apal.2006.06.001
UR  - https://arxiv.org/abs/cs/0410030
ID  - cs/0410030
ER  -