On the use of diagonally nonrecursive functions (1987)

by Antońın Kučera
Venue:In Logic Colloquium ’87