Type theories, toposes and constructive set theory: Predicative aspects of AST (2002)

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