Turing oracle machines, online computing, and three displacements in computability theory (2007)

by R Soare
Venue:Annals of Pure and Applied Logic, 160(3):368 – 399, 2009. Computation and Logic in the Real World: CiE