AWODEY, S.; BUTZ, C. Topological Completeness for Higher-Order Logic. BRICS Report Series, v. 4, n. 21, 21 Jan. 1997.