Well-founded trees and dependent polynomial functors (2004)

by N Gambino, M Hyland
Venue:In: Proc. of the TYPES 2003