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:
Electronic Access:
https://doi.org/10.1007/978-3-662-47992-6Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 518477-1001 | XX(518477.1) | Searching... | Searching... |