Image from Amazon.com
Image from Google Jackets
Computations in Higher Types [electronic resource] / by Johan Moldestad.
Material type:
TextSeries: Lecture Notes in Mathematics ; 574Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Description: VIII, 208 p. online resourceContent type: - text
- computer
- online resource
- 9783540374251
- 510 23
- QA1-939
Contents:
In:
Springer eBooks
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.
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK482 |
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.
There are no comments on this title.
Log in to your account to post a comment.