- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
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.