## Higher Type Recursion, Ramification and Polynomial Time (1999)

### Cached

### Download Links

- [www.mathematik.uni-muenchen.de]
- [www.mathematik.uni-muenchen.de]
- [www.tu-ilmenau.de]
- DBLP

### Other Repositories/Bibliography

by
S. Bellantoni
,
K.-H. Niggl
,
H. Schwichtenberg

Venue: | Annals of Pure and Applied Logic |

Citations: | 22 - 3 self |