TY  - RPRT
TI  - Stack semantics and the comparison of material and structural set theories
AU  - Michael A. Shulman
PY  - 2010
UR  - https://arxiv.org/abs/1004.3802
ID  - 1004.3802
ER  -