by Dag Normann (Author), Dag Normann (Author), John Longley (Author)
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.
Format: Hardcover
Pages: 587
Edition: 1st ed. 2015
Publisher: Springer
Published: 23 Nov 2015
ISBN 10: 3662479915
ISBN 13: 9783662479919