Aspects of predicative algebraic set theory III: Sheaves. arXiv:0912.1242. Accepted for publication (2011)

by B van den Berg, I Moerdijk
Venue:in the Proceedings of the London Mathematical Society