Speed-up theorems in type-2 computations using oracle Turing machines
scientific article; zbMATH DE number 5617725
scientific article