S. Awodey and C. Butz, “Topological Completeness for Higher-Order Logic”, BRICS, vol. 4, no. 21, Jan. 1997.