Recursion and complexity theory on cpo-s (1981)

by K Weihrauch
Venue:Theoretical Computer Science, 5th GI-Conference