TY  - RPRT
TI  - Termination of lambda-calculus with the extra Call-By-Value rule known as assoc
AU  - Stéphane Lengrand
PY  - 2008
UR  - https://arxiv.org/abs/0806.4859
ID  - 0806.4859
ER  -