Typed Recursion Theorems

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.