Post’s and other problems in higher type supertasks (2004)

by P D Welch
Venue:Classical and New Paradigms of Computation and their Complexity hierarchies, Papers of the Conference Foundations of the Formal Sciences III, volume 23 of Trends in logic