Wellfounded trees in categories (2000)

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