Amazon cover image
Image from Amazon.com
Image from Google Jackets

Computations in Higher Types [electronic resource] / by Johan Moldestad.

By: Contributor(s): Material type: TextTextSeries: Lecture Notes in Mathematics ; 574Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1977Description: VIII, 208 p. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540374251
Subject(s): Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:
  • 510 23
LOC classification:
  • QA1-939
Online resources:
Contents:
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.
In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

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.

to post a comment.
(C) Powered by Koha

Powered by Koha