TY  - RPRT
TI  - Quantitative Models and Implicit Complexity
AU  - U. Dal Lago
AU  - M. Hofmann
PY  - 2005
UR  - https://arxiv.org/abs/cs/0506079
ID  - cs/0506079
ER  -