Higher-Order Computability (Theory and Applications of Computability)

by Dag Normann (Author), Dag Normann (Author), John Longley (Author)

New
Hardcover
2015
$216.11

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.

Synopsis

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.

$216.11

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 587
Edition: 1st ed. 2015
Publisher: Springer
Published: 23 Nov 2015
ISBN 10: 3662479915
ISBN 13: 9783662479919

Higher-Order Computability (Theory and Applications of Computability)

New

$216.11

Synopsis

$216.11

More Information