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.