Wellfounded Trees and Dependent Polynomial Functors (2004)

by Nicola Gambino, Martin Hyland
Venue:OF LECTURE NOTES IN COMPUTER SCIENCE