zboží
(prázdné)
\nIntroduction 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...
číst celé
\n
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.
\n schovat popis- Nakladatel: Springer, Berlin
- Kód:
- Rok vydání: 2016
- Jazyk: Angličtina
- Vazba: Měkká
- Počet stran: 571
- Šířka balení: 15.5 cm
- Výška balení: 23.5 cm
Recenze