๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Recursive Functions

โœ Scribed by YATES, C. E. M.


Book ID
109675431
Publisher
Nature Publishing Group
Year
1970
Tongue
English
Weight
123 KB
Volume
228
Category
Article
ISSN
0028-0836

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Partial Recursive Functions and ฯ‰-Functi
โœ C. H. Applebaum and J. C. E. Dekker ๐Ÿ“‚ Article ๐Ÿ“… 1970 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 889 KB
Beyond Recursive Real Functions
โœ Chun-Kuen Ho ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 666 KB
Splinters of Recursive Functions
โœ J. S. Ullian ๐Ÿ“‚ Article ๐Ÿ“… 1960 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 622 KB
Recursive functionals
โœ L.E. Sanchis ๐Ÿ“‚ Library ๐Ÿ“… 1992 ๐Ÿ› North-Holland ๐ŸŒ English โš– 2 MB

This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results. Although aiming basically at a theory of higher order computability, attention is restricted to second order functionals, where the arguments are numerical fun

Recursive functions of large scope
โœ Kh. Kh. Nasibullov ๐Ÿ“‚ Article ๐Ÿ“… 1969 ๐Ÿ› SP MAIK Nauka/Interperiodica ๐ŸŒ English โš– 415 KB