Type theories, toposes and constructive set theory: Predicative aspects of ast (0)

by I Moerdijk, E Palmgren
Venue:Annals of Pure and Applied Logic