Higher Type Recursion, Ramification and Polynomial Time (1999)

by S. Bellantoni , K.-H. Niggl , H. Schwichtenberg
Venue:Annals of Pure and Applied Logic
Citations:22 - 3 self

Document Versions

Higher Type Recursion, Ramification and Polynomial Time –S. Bellantoni, K.-H. Niggl, H. Schwichtenberg — 1999 — Annals of Pure and Applied Logic
Higher Type Recursion, Ramification and Polynomial Time –S. Bellantoni, K.-H. Niggl, H. Schwichtenberg — 1999 — Annals of Pure and Applied Logic
Higher type recursion, ramification and polynomial time –S. Bellantoni, K. -h. Niggl, H. Schwichtenberg — 2000 — Annals of Pure and Applied Logic