Cover image for Higher-Order Computability
Title:
Higher-Order Computability
Author:
Longley, John. author.
ISBN:
9783662479926
Edition:
1st ed. 2015.
Physical Description:
XVI, 571 p. 2 illus. in color. online resource.
Series:
Theory and Applications of Computability, In cooperation with the association Computability in Europe,
Contents:
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.
Added Author:
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 518477-1001 XX(518477.1)
Searching...

On Order