Computability Theory of Closed Timelike Curves
Quantum Computation and Quantum Information