Computability Beyond Church-Turing via Choice Sequences.

Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli

Browse the full LICS paper archive.