Higher type recursion, ramification and polynomial time (0)

by S Bellantoni, K H Niggl, H Schwichtenberg
Venue:APAL