Higher-Order Computability (Theory and Applications of Computability) - Image 1

£110.68

Springer Higher-Order Computability (Theory and Applications of Computability)

Name: Higher-Order Computability (Theory and Applications of Computability)
Brand: Springer
Price: 117.88 GBP
Availability: InStock

2 black & white illustrations, biography

Computer Science

Price History & Forecast

Last 2 days • 2 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 2 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £111 (1 days, 50.0%)

Price range: £111 - £118

Price levels: 2 different prices over 2 days

Description

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 has since expanded in many different directions under the influence of workers from both mathematical logic and computer science. The ideas of higher-order computability have proved valuable both for elucidating the constructive content of logical systems, and for investigating the expressive power of various higher-order programming languages. In contrast to the well-known situation for first-order functions, it turns out that at higher types there are several different notions of computability competing for our attention, and each of these has given rise to its own strand of research. In this book, the authors offer an integrated treatment that draws together many of these strands within a unifying framework, revealing not only the range of possible computability concepts but the relationships between them. The book will serve as an ideal introduction to the field for beginning graduate students, as well as a reference for advanced researchers

Product Specifications

Brand: Springer
Model: 2 black & white illustrations, biography
Format: hardcover
ASIN: 3662479915
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Publication Date: 17 November 2015
Listed Since: 17 June 2015

Barcode

No barcode data available

Springer Higher-Order Computability (Theory and Applications of Computability)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Springer Higher-Order Computability Theory and Applications

The Foundations of Computability Theory

Handbook of Computability and Complexity in Analysis (Theory and Applications of Computability)

Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)

A Programming Approach to Computability (Monographs in Computer Science)

Computability

Computability Theory: An Introduction to Recursion Theory

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Turing Computability: Theory and Applications (Theory and Applications of Computability)

Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications (Undergraduate Topics in Computer Science)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

Theory of Computation

Computability: An Introduction to Recursive Function Theory

Computational Complexity: A Conceptual Perspective

Theory of Computation (Texts in Computer Science)

Constructive Models (Siberian School of Algebra and Logic)

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Automata and Computability

Logic for Applications (Texts in Computer Science)

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)