Computations in Higher Types

J. Moldestad (Autor)

Buch | Softcover

VIII, 208 Seiten

1977
Springer Berlin (Verlag)
9783540081326 (ISBN)

Inhalt

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.

Produkt-Details

• Erscheint lt. Verlag: 1.3.1977
• Reihe/Serie: Lecture Notes in Mathematics
• Zusatzinfo: VIII, 208 p.
• Verlagsort: Berlin
• Sprache: englisch
• Maße: 155 x 235 mm
• Gewicht: 313 g
• Themenwelt: Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
• Schlagworte: Calc • Calculation • Computability Theory • Computation • object • Recursion • Rekursive Funktion • Types
• ISBN-13: 9783540081326 / 9783540081326
• Zustand: Neuware