TY  - RPRT
TI  - Proof mining in metric fixed point theory and ergodic theory
AU  - Laurentiu Leustean
PY  - 2009
UR  - https://arxiv.org/abs/0903.1529
ID  - 0903.1529
ER  -