Computing with Time Travel