Please use this identifier to cite or link to this item:
|Title:||Wellfounded Trees and Dependent Polynomial Functors|
|Citation:||Types for Proofs and Programs. Third International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. LNCS 3085, pp. 210-225|
|Appears in Collections:||Conference Papers & Presentations, Dept. of Computer Science|
Files in This Item:
There are no files associated with this item.
Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.