@misc{indiciae56b41808aee5,
  title = {Ordered combinatory algebras and realizability},
  author = {Walter Ferrer Santos and Jonas Frey and Mauricio Guillermo and Octavio Malherbe and Alexandre Miquel},
  year = {2014},
  url = {https://arxiv.org/abs/1410.5034},
  note = {Source identifier: 1410.5034}
}