TY  - RPRT
TI  - On the discriminating power of tests in resource lambda-calculus
AU  - Flavien Breuvart
PY  - 2012
UR  - https://arxiv.org/abs/1205.4691
ID  - 1205.4691
ER  -