Category methods in recursion theory
John R. Myhill · Pacific Journal of Mathematics · 1961
2 Category methods have also been used by the author in [12], and form the basis of the entire treatment of degrees in [3], 3 A related (but much deeper) contribution to the methodology of recursion theory has made by Addison, e.g., in [1]. 4 See, e.g., [7], [14], [15], [19].A sadly neglected paper in the same area which completely avoids these unnecessary complications is Lacombe [10].