@misc{indiciae8516a4ad0300,
  title = {Spector bar recursion over finite partial functions},
  author = {Paulo Oliva and Thomas Powell},
  year = {2015},
  url = {https://arxiv.org/abs/1410.6361},
  note = {Source identifier: 1410.6361}
}