S. Awodey og C. Butz, “Topological Completeness for Higher-Order Logic”, BRICS, bd. 4, nr. 21, jan. 1997.