TY  - RPRT
TI  - Topos Semantics for Higher-Order Modal Logic
AU  - Steve Awodey
AU  - Kohei Kishida
AU  - Hans-Christoph Kotzsch
PY  - 2014
DO  - 10.2143/lea.228.0.3078176
UR  - https://arxiv.org/abs/1403.0020
ID  - 1403.0020
ER  -