Nicola Gambino, Martin Hyland. Wellfounded Trees and Dependent Polynomial Functors. In Stefano Berardi, Mario Coppo, Ferruccio Damiani, editors, Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. Volume 3085 of Lecture Notes in Computer Science, pages 210-225, Springer, 2003. [doi]
Abstract is missing.