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