articole
(gol)
Contact
Cont 
\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...
citește totul
\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 ascunde descrierea- Editură: Springer, Berlin
- Cod:
- Anul publicării: 2016
- Limba: Engleză
- Legarea: Moale
- Număr de pagini: 571
- Lățimea ambalajului: 15.5 cm
- Înălțimea ambalajului: 23.5 cm
Recenzii