Wellfounded trees in categories (2000)

by I Moerdijk, E Palmgren
Venue:Ann. Pure Appl. Logic