Typed Recursion Theorems
ID
TR-85-17
Publishing date
November 1985
Abstract
In recursion theory, recursion theorems are usually considered for effective functions over an effective universal set, like the set N of all natural numbers or the set RE of all recursively enumerable sets.
We observe that certain effective subsets of these effective universes have rich structure, and we study recursion theorems for these effective subsets.
File(s)