A domain theoretic approach to computability on the real line (1998)

by A Edalat, P Sünderhauf
Venue:Theoretical Computer Science