Higher-Order Computability (Theory and Applications of Computability)

Higher-Order Computability (Theory and Applications of Computability)

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

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.

$206.42

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