author = { Bellantoni, Stephen J. AND Niggl, Karl-Heinz AND Schwichtenberg, Helmut },

title = { Higher type recursion, ramification and polynomial time },

publisher = {Elsevier BV},

isbn = {0168-0072},

keywords = { Logic },

year = {2000},

url = { http://slubdd.de/katalog?TN_libero_mab2 }