Gianantonio, Real number computability an domain theory, Information and Computation 127 (1996)

by P di
Venue:Handbook of Computability Theory