Wellfounded Trees and Dependent Polynomial Functors (2004)

Cached

Download Links

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