Awodey, Steve

• BRICS Report Series No. 21 (1997): RS-21 Topological Completeness for Higher-Order Logic - Articles
  Topological Completeness for Higher-Order Logic
  Abstract  PDF