𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Non recursive functionals

✍ Scribed by Richard Bird

Publisher
John Wiley and Sons
Year
1975
Tongue
English
Weight
345 KB
Volume
21
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Learning Recursive Functions from Approx
Learning Recursive Functions from Approximations
✍ John Case; Susanne Kaufmann; Efim Kinber; Martin Kummer πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 467 KB

This article investigates algorithmic learning, in the limit, of correct programs for recursive functions f from both inputΓ‚output examples of f and several interesting varieties of approximate additional (algorithmic) information about f. Specifically considered, as such approximate additional info

Hierarchies of Primitive Recursive Funct
Hierarchies of Primitive Recursive Functions
✍ Charles Parsons πŸ“‚ Article πŸ“… 1968 πŸ› John Wiley and Sons 🌐 English βš– 972 KB

9 Yn), ~1 , \* \* . ? ~n l then the definition of 97 is of degree max ( p ) q) + 1 . l) l ) We omit from consideration the schema for recursion without pareymeters. It can be accommodated into our arguments by simplified versions of the arguments for (V), or it can be omitted as a primitive schema w

n-Ary Almost Recursive Functions
n-Ary Almost Recursive Functions
✍ John W. Berry πŸ“‚ Article πŸ“… 1974 πŸ› John Wiley and Sons 🌐 English βš– 530 KB