J. Moldestad

Computations in Higher Types

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Mathematics 574
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-08132-6
• 1977.
• Seitenzahl: 216
• Erscheinungstermin: 1. März 1977
• Englisch
• Abmessung: 235mm x 155mm x 12mm
• Gewicht: 360g
• ISBN-13: 9783540081326
• ISBN-10: 3540081321
• Artikelnr.: 23569658

Inhaltsangabe

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.