General Topos Semantics for Higher-Order Modal Logic. - Steve Awodey; Kohei Kishida; Hans-Christoph Kotzsch (TACL, 2013)