product description page
Higher-order Computability (Hardcover) (John Longley)
about this item
In this book the authors explain what computability means for data more complex than natural numbers and similar discrete data. In particular, they show how to develop a good theory of computability in settings where computable operations may themselves be passed as inputs to other computable operations.
The book is valuable for researchers in mathematical logic and theoretical computer science.