TY  - RPRT
TI  - Program Equivalence in Linear Contexts
AU  - Yuxin Deng
AU  - Yu Zhang
PY  - 2011
UR  - https://arxiv.org/abs/1106.2872
ID  - 1106.2872
ER  -