TY  - RPRT
TI  - Reduction Strategies in Lambda Term Normalization and their Effects on Heap Usage
AU  - Xiaochu Qi
PY  - 2004
UR  - https://arxiv.org/abs/cs/0405075
ID  - cs/0405075
ER  -