Abstract
We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science have shaped this still active subject.
Citation
Dag Normann. "Computing with functionals—computability theory or computer science?." Bull. Symbolic Logic 12 (1) 43 - 59, March 2006. https://doi.org/10.2178/bsl/1140640943
Information