Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Categorical Combinators, Sequential Algorithms, and Functional Programming

Categorical Combinators, Sequential Algorithms, and Functional Programming

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780817636548
Condition
New
Product Description

This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, the main novelty of this second edition is the integration of some new material. Part of it is mine (mostly jointly with coauthors). Here is brief guide to these additions. I have augmented the account of categorical combinatory logic with a description of the confluence properties of rewriting systems of categor ical combinators (Hardin, Yokouchi), and of the newly developed cal culi of explicit substitutions (Abadi, Cardelli, Curien, Hardin, Levy, and Rios), which are similar in spirit to the categorical combinatory logic, but are closer to the syntax of A-calculus (Section 1.2). The study of the full abstraction problem for PCF and extensions of it has been enriched with a new full abstraction result: the model of sequential algorithms is fully abstract with respect to an extension of PCF with a control operator (Cartwright, Felleisen, Curien). An order extensional model of error-sensitive sequential algorithms is also fully abstract for a corresponding extension of PCF with a control operator and errors (Sections 2.6 and 4.1). I suggest that sequential algorithms lend themselves to a decomposition of the function spaces that leads to models of linear logic (Lamarche, Curien), and that connects sequentiality with games (Joyal, Blass, Abramsky) (Sections 2.1 and 2.6).

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Qualittsmanagement in der frhkindlichen Bildung, Erziehung und Betreuung

$39.99

Wertanalyse - das Tool im Value Management

$79.99

Astrophysics at Very High Energies

$54.99

Best Approximation in Normed Linear Spaces by Elements of Linear Subspaces

$79.99

Monomode Fiber-Optic Design

$39.99

Technological Innovation for Applied AI Systems

$129.99

Dynamic Models and their Applications in Emerging Markets

$109.99

Brgerbeteiligung als Finanzierungsinstrument fr (neue) Geschftsfelder kommunaler Stadtwerke in de

$79.99

Test eines Faraday-Effekt-Stromsensors

$17.99

Belastungsprobe fr die Europische Union

$69.99

Kinder- und Jugendmedizin

$69.99

Advances in Fungal Biotechnology for Industry, Agriculture, and Medicine

$39.99

Innovations in VLSI, Signal Processing and Computational Technologies

$189.00

Corporate Governance and Corporate Social Responsibility of Indian Companies

$84.99

Differenzierbare Rume

$59.99

Der Beitrag der deutschen Romantik zur politischen Theorie

$59.99

Verstehender Umgang mit alten Menschen

$69.99

Between History and Method

$39.99

Everyday Reconciliation in Post-Khmer Rouge Cambodia

$139.99

Yield Curve Modeling

$279.99

Plant Hormones and Climate Change

$199.99

The Fourth Terminal

$139.99

Das Wasser

$59.99

Matrizenrechnung in der Baumechanik

$44.99

The Issues of Illegal Immigration and its Solutions in the Minority-Border Regions in Yunnan Provinc

$84.99

Integrative Risikobegrenzung

$69.99

Sensors Based on Nanostructured Materials

$84.99

Innovation in Developing Countries

$84.99

Entwicklungsaufgaben im Bildungsgang

$69.99

Assessing Environmental Risk of Oil Spills with ERA Acute

$24.99

Socrates and Diotima

$119.99

Network Control and Optimization

$39.99

Hypertension and Cardiovascular Disease

$169.99

Agricultural Policy Analysis

$279.99

Trust and Organizations

$109.99

Privatisierung der Arbeitslosenversicherung: Ein Konzept fr Deutschland

$89.00

Relational Matching

$39.99

White cells and platelets in blood transfusion

$169.99

The Palgrave Handbook of Supply Chain Management

$649.99

Biotechnology of Lignocellulose

$169.99