Peace is an important value for the human-computer interaction research community, yet it has not resulted in the development of a research sub-community or even a research agenda...
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 hav...