Reference
Horowitz, B.M.: Constructively nonpartial recursive functions. Notre Dame J. Formal Logic21 (1980)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kanda, A. Productive sets and constructively nonpartial-recursive functions. Arch Math Logic 27, 49–50 (1988). https://doi.org/10.1007/BF01625833
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01625833