Recursion and complexity theory on cpo's (1981)

by K Weihrauch
Venue:Proc. 5th GI-Conf. (P. Deussen ed.), LNCS 104