Verwandte Artikel zu Higher-Order Computability
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.