@misc{indiciae97d60fdd7b92,
  title = {A fibrational study of realizability toposes},
  author = {Jonas Frey},
  year = {2014},
  url = {https://arxiv.org/abs/1403.3672},
  note = {Source identifier: 1403.3672}
}