Gå direkte til innholdet
Higher-Order Computability
Spar

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.

Opplag
1st ed. 2015
ISBN
9783662479919
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
17.11.2015
Antall sider
571