Higher Type Recursion, Ramification and Polynomial Time (1999)

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