TY  - RPRT
TI  - Lawvere-Tierney sheaves in algebraic set theory
AU  - Steve Awodey
AU  - Nicola Gambino
AU  - Peter L. Lumsdaine
AU  - Michael A. Warren
PY  - 2008
DO  - 10.2178/jsl/1245158088
UR  - https://arxiv.org/abs/0711.1529
ID  - 0711.1529
ER  -