@misc{indiciae3a2f2ce29c59,
  title = {Parametrised bar recursion: A unifying framework for realizability interpretations of classical dependent choice},
  author = {Thomas Powell},
  year = {2015},
  url = {https://arxiv.org/abs/1411.0457},
  note = {Source identifier: 1411.0457}
}