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. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and ha...

Full description

Main Author: Longley, John.
Corporate Author: SpringerLink (Online service)
Other Authors: Normann, Dag.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : 2015.
Edition: 1st ed. 2015.
Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe,
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-662-47992-6
Tags: Add Tag
No Tags, Be the first to tag this record!