TY  - RPRT
TI  - Topological Completeness for Higher-Order Logic
AU  - Steve Awodey
AU  - Carsten Butz
PY  - 1997
UR  - https://arxiv.org/abs/math/9707206
ID  - math/9707206
ER  -