A category of partial recursive functions
โ Scribed by A. N. Degtev
- Publisher
- SP MAIK Nauka/Interperiodica
- Year
- 1981
- Tongue
- English
- Weight
- 558 KB
- Volume
- 21
- Category
- Article
- ISSN
- 0037-4466
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
## Abstract We consider two categories with one object, namely the set of all partial functions of one variable from the set of natural numbers into itself; the morphisms are the partial recursive operators in one case, and certain continuous partial mappings in the other case. We show that these c
This paper studies possible extensions of the concept of complexity class of recursive functions to partial recursive functions. Many of the well-known results for total complexity classes are shown to have corresponding, though not exactly identical, statements for partial classes. In particular, w