Computations in Higher Types
Moldestad, Johan.
Computations in Higher Types [electronic resource] / by Johan Moldestad. - VIII, 208 p. online resource. - Lecture Notes in Mathematics, 574 0075-8434 ; . - Lecture Notes in Mathematics, 574 .
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.
9783540374251
10.1007/BFb0087822 doi
Mathematics.
Mathematics, general.
QA1-939
510
Computations in Higher Types [electronic resource] / by Johan Moldestad. - VIII, 208 p. online resource. - Lecture Notes in Mathematics, 574 0075-8434 ; . - Lecture Notes in Mathematics, 574 .
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.
9783540374251
10.1007/BFb0087822 doi
Mathematics.
Mathematics, general.
QA1-939
510