From a Noncomputability Result to new interesting Definitions and Computability Results.

Francis Sergeraert From a Noncomputability Result to new interesting Definitions and Computability Results. 26-32 1988 conf/issac/1988 ISSAC db/conf/issac/issac88.html#Sergeraert88