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
9781461203179
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

Mehrstufige Eigenmarken

$74.99

Probleme der Statistik und Prozessanalyse mit Matlab lsen

$17.99

Von Morris bis Memphis

$49.99

Software Architecture

$54.99

Rookie Reader: All Wrapped Up

$3.71

Self-Lubricating Composites

$139.00

Award Winners Grades 6-8

$89.00

Ultraviolet Stellar Spectra and Related Ground-Based Observations

$39.99

Die Autonomie von Landesorganisationen bei der Marktbearbeitung

$74.99

Technik und Wissenschaft

$64.99

Software Engineering Methods in Systems and Network Systems

$199.99

Information Society

$109.99

A West African Model to Address Human Trafficking

$129.99

Finanzmarktanwendungen neuronaler Netze und konometrischer Verfahren

$59.99

Protein Structure and Modeling

$149.00

Plants and Heavy Metals

$39.99

Den Nachthimmel erleben

$44.99

Mobilitt und Gesundheit

$69.99

Statistical Physics of Non-Thermal Phase Transitions

$54.99

Verluste bei teilbeaufschlagten Turbinen

$69.99

Everybody in the Red Brick Building by Anne Wynter

$19.99

Mouse Cookies & More: A Treasury by Laura Numeroff

$24.99

S.M.A.R.T. Circle Minicourses

$39.99

Arbeitszeitflexibilisierung in der Praxis

$59.99

Ecology and Literature

$54.99

Thermal Energy Storage with Phase Change Materials

$54.99

Spatiotemporal Modeling of Cancer Immunotherapy

$109.99

Die Auenpolitik der USA

$34.99

XIIIth International Astronautical Congress / XIIIme Congrs International d'Astronautique / XIII

$84.99

The De-escalation of Nuclear Crises

$19.99

Longbow Girl (Hardcover)

$13.49

Space Debris

$299.99

Nonlinear Dynamics and Complexity

$249.99

Soziologisch denken

$24.99

Lebensmittel-Biotechnologie und Ernhrung

$69.99

The NeurIPS '18 Competition

$54.99

The Biogeochemical Impacts of Forests and the Implications for Climate Change Mitigation

$109.99

Collaboration for Sustainability and Innovation: A Role For Sustainability Driven by the Global Sout

$109.99

Die Physik des 20. Jahrhunderts

$59.99

Determinanten der Nachfrage nach Verkehrsleistungen

$59.99