Computations in higher types / / J. Moldestad
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Moldestad Johan <1946->
|
| Titolo: |
Computations in higher types / / J. Moldestad
|
| Pubblicazione: | Berlin, Germany : , : Springer, , [1977] |
| ©1977 | |
| Edizione: | 1st ed. 1977. |
| Descrizione fisica: | 1 online resource (VIII, 208 p.) |
| Disciplina: | 511.352 |
| Soggetto topico: | Recursive functions |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | Abstract -- The computation domain -- Recursion on ? -- Connection with Kleene recursion in higher types -- Recursion in normal lists on ? -- Kleene recursion in normal objects of type n+2, n>0 -- Computation theories on ? -- Abstract Kleene theories -- Normal computation theories on ? -- More about Mahloness -- Calculation of the lengths of some computations -- Gaps -- On platek: “Foundations of recursion theory” -- A final comment concerning the two types. |
| Titolo autorizzato: | Computations in higher types |
| ISBN: | 3-540-37425-6 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466663403316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Mathematics, . 0075-8434 ; ; 574