Real number computability and domain theory (1996)

by P di Gianantonio
Venue:Information and Computation