Aspects of predicative algebraic set theory III: sheaf models (2007)

by B van den Berg, I Moerdijk
Venue:In preparation