Wellfounded Trees and Dependent Polynomial Functors (2004)
by
Nicola Gambino
,
Martin Hyland
| Venue: | OF LECTURE NOTES IN COMPUTER SCIENCE |
| Citations: | 20 - 4 self |
Document Versions
| Wellfounded Trees and Dependent Polynomial Functors –Nicola Gambino, Martin Hyland — 2004 — OF LECTURE NOTES IN COMPUTER SCIENCE |
