TY - RPRT TI - A uniform betweenness property in metric spaces and its role in the quantitative analysis of the "Lion-Man" game AU - Ulrich Kohlenbach AU - Genaro López-Acedo AU - Adriana Nicolae PY - 2020 UR - https://arxiv.org/abs/1806.04496 ID - 1806.04496 ER -