Wellfounded Trees and Dependent Polynomial Functors (2004)

Cached

Download Links

by Nicola Gambino , Martin Hyland
Venue:OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:25 - 4 self

Document Versions

Wellfounded Trees and Dependent Polynomial Functors –Nicola Gambino, Martin Hyland — 2004 — OF LECTURE NOTES IN COMPUTER SCIENCE