Higher-Order Computability

AvJohn Longley,Dag Normann

Häftad, Engelska, 2016

Del i serien Theory and Applications of Computability

1 733 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

1 733 kr

Skickas inom 10-15 vardagar

Beskrivning

This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations.

Produktinformation

Utgivningsdatum:2016-08-23
Mått:155 x 235 x 32 mm
Vikt:879 g
Format:Häftad
Språk:Engelska
Serie:Theory and Applications of Computability
Antal sidor:571
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783662517116

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Recensioner i media

“This book is a true tour de force. The content is both mathematics and computer science; it is simultaneously an introductory textbook for students, a tutorial for seasoned researchers, a reference work, and a research monograph; ... The references to the literature are thorough. The writing is technical mathematics, and is good by that standard: there is ample intuitive explanation, and it is overall readable.” (Robert S. Lubarsky, Mathematical Reviews, April 2018)

Innehållsförteckning

Introduction and Motivation.- Historical Survey.- Theory of Computability Models.- Theory of Lambda Algebras.- Kleene Computability in a Total Setting.- Nested Sequential Procedures.- PCF and Its Models.- Total Continuous Functionals.- Hereditarily Effective Operations.- Partial Continuous Functionals.- Sequentially Realizable Functionals.- Some Intensional Models.- Related and Future Work.- References.- Index.