Laddar...

Computations in Higher Types (Lecture Notes in Mathematics)

av J. Moldestad

Serier: Lecture Notes in Mathematics (574)

Medlemmar	Recensioner	Popularitet	Genomsnittligt betyg	Diskussioner
0	Ingen/inga	—	Ingen/inga	Ingen/inga
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.… (mer)

▾Medlemmar

▾Taggar

Inga taggar

▾Listor

Ingen/inga

▾Kommer du att gilla den?

Laddar...

Gå med i LibraryThing för att få reda på om du skulle tycka om den här boken.

▾Diskussioner ("Om"-länkar)

Det finns inga diskussioner på LibraryThing om den här boken.

▾Medlemsrecensioner

Inga recensioner

▾Publicerade recensioner

inga recensioner | lägg till en recension

▾Andra författare

» Lägg till fler författare

▾Relationer mellan serier och verk

Ingår i serien

Lecture Notes in Mathematics (574)

▾Priser och utmärkelser

se historik

▾Allmänna fakta

Du måste logga in för att ändra Allmänna fakta.

Mer hjälp finns på hjälpsidan för Allmänna fakta.

Vedertagen titel

Originaltitel

Alternativa titlar

Första utgivningsdatum

Personer/gestalter

Viktiga platser

Viktiga händelser

Relaterade filmer

Motto

Dedikation

Inledande ord

Citat

Avslutande ord

Särskiljningsnotis

Förlagets redaktörer

På omslaget citeras

Ursprungsspråk

Kanonisk DDC/MDS

Kanonisk LCC

▾Hänvisningar

Hänvisningar till detta verk hos externa resurser.

Wikipedia på engelska

Ingen/inga

▾Bokbeskrivningar

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.

▾Beskrivningar från bibliotek

Inga biblioteksbeskrivningar kunde hittas.

▾Beskrivningar från medlemmar på LibraryThing

Bokbeskrivning

Haiku-sammanfattning