TY  - RPRT
TI  - Classifying Topoi and Preservation of Higher Order Logic by Geometric Morphisms
AU  - Shawn J. Henry
PY  - 2013
UR  - https://arxiv.org/abs/1305.3254
ID  - 1305.3254
ER  -