Sheaves for predicative toposes (0)

by B van den Berg
Venue:ArXiv:math.LO/0507480v1