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