Awodey, S.; Butz, C. Topological Completeness for Higher-Order Logic. BRICS 1997, 4.