Recursion Theory on the Reals and Continuous-time Computation (1995)

by Cristopher Moore
Venue:Theoretical Computer Science