Higher-Order Computability
This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and ha...
Κύριοι συγγραφείς: | Longley, John (Συγγραφέας), Normann, Dag (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2015.
|
Έκδοση: | 1st ed. 2015. |
Σειρά: | Theory and Applications of Computability, In cooperation with the association Computability in Europe,
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /
Έκδοση: (2009) -
Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /
Έκδοση: (2005) -
The Foundations of Computability Theory
ανά: Robič, Borut
Έκδοση: (2015) -
Turing Computability Theory and Applications /
ανά: Soare, Robert I.
Έκδοση: (2016) -
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
Έκδοση: (2007)