Computations in Higher Types

J. Moldestad

ISBN 10: 3540081321 / ISBN 13: 9783540081326

Published by Springer Berlin Heidelberg Mrz 1977, 1977

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 216 pp. Englisch.

Seller Inventory # 9783540081326

Bibliographic Details

• Title: Computations in Higher Types
• Publisher: Springer Berlin Heidelberg Mrz 1977
• Publication Date: 1977
• Language: English
• ISBN 10: 3540081321
• ISBN 13: 9783540081326
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 12D millimeters 235 millimeters width by 155 millimeters height by 12 millimeters depth
• Weight: 335 grams