
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.
- Forfatter
- John Longley, Dag Normann
- Opplag
- 1st ed. 2015
- ISBN
- 9783662479919
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 17.11.2015
- Antall sider
- 571
