More existence theorems for recursion categories, Annals of Pure and Applied Logic 125 (2004)

by F Lengyel