Technical Reports

The ICICS/CS Reading Room

UBC CS TR-85-17 Summary

Typed Recursion Theorems --- out of print, November 1985 K and Akira a

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.

If you have any questions or comments regarding this page please send mail to