Siirry suoraan sisältöön
Higher-Order Computability
Tallenna

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.

Painos
1st ed. 2015
ISBN
9783662479919
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
17.11.2015
Sivumäärä
571