
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.
- Kirjailija
- John Longley, Dag Normann
- Painos
- 1st ed. 2015
- ISBN
- 9783662479919
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 17.11.2015
- Sivumäärä
- 571