TY  - RPRT
TI  - PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction
AU  - M. Pedicini
AU  - F. Quaglia
PY  - 2004
UR  - https://arxiv.org/abs/cs/0407055
ID  - cs/0407055
ER  -