TY  - RPRT
TI  - An Invariant Cost Model for the Lambda Calculus
AU  - Ugo Dal Lago
AU  - Simone Martini
PY  - 2005
UR  - https://arxiv.org/abs/cs/0511045
ID  - cs/0511045
ER  -