@misc{indiciaead91d23847ac,
  title = {Topological Completeness for Higher-Order Logic},
  author = {Steve Awodey and Carsten Butz},
  year = {1997},
  url = {https://arxiv.org/abs/math/9707206},
  note = {Source identifier: math/9707206}
}