Productive Sets and Constructively Nonpartial-Recursive Functions ID TR-86-15 Authors Akira Kanda Publishing date August 1986 File(s) TR-86-15.pdf