Productive Sets and Constructively Nonpartial-Recursive Functions

ID
TR-86-15
Authors
Akira Kanda
Publishing date
August 1986