@misc{indiciaeea2b28dd2f80,
  title = {Metric fixed point theory and partial impredicativity},
  author = {David Fernández-Duque and Paul Shafer and Henry Towsner and Keita Yokoyama},
  year = {2023},
  url = {https://arxiv.org/abs/2302.08874},
  note = {Source identifier: 2302.08874}
}