TY  - RPRT
TI  - The Formal System lambda-delta
AU  - F. Guidi
PY  - 2008
UR  - https://arxiv.org/abs/cs/0611040
ID  - cs/0611040
ER  -