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

Chemical Kinetics and Inorganic Reaction Mechanisms

$129.00

Toolbox Mathematik fr MINT-Studiengnge

$29.99

I Am Enough

$5.99

Bibliography 196971 Organic and Organometallic Crystal Structures

$54.99

Steuerarbitrage, Kapitalmarktgleichgewicht und Unternehmensfinanzierung

$59.99

Anpassung von Open-Source-Software in Anwenderunternehmen

$69.99

Grandma Loves You Because You're You

$6.74

An Institutional History of Italian Economics in the Interwar Period Volume II

$84.99

Corrosion and Reliability Assessment of Inspected Pipelines

$119.99

Lineare Optimierung

$44.99

Psychologie der Menschenfhrung

$44.99

Transport Development in Asian Megacities

$54.99

Franchising in Verbundgruppen

$59.99

Multimedia and Network Information Systems

$129.00

Freud for the Twenty-First Century

$54.99

Twas the Night Before Christmas in Wyoming by Jo Parry Illustrator

$11.99

Biology of Earthworms

$129.00

Advances in Solar Energy

$39.99

Grundlagen der bertragung elektrischer Energie

$49.99

Brennstoffzellentechnik

$99.99

Image Analysis and Processing ICIAP 2019

$89.99

The Challenge for Japanese Multinationals

$84.99

Hypoelliptic Estimates and Spectral Theory for Fokker-Planck Operators and Witten Laplacians

$39.99

Fluorescence In-Situ Hybridization (FISH) for Microbial Cells

$249.99

Entropy, Absolute Temperature and Coldness in Thermodynamics

$54.99

Pathophysiology of Headaches

$109.99

Beyond Global Food Supply Chains

$59.99

Reasoning Unbound

$119.99

Ageism and Mistreatment of Older Workers

$84.99

Innovationen und Rechnungswesen

$49.99

Intra-Firm Trade and the Developing Countries

$44.99

Synergieermittlung im Vorfeld von Unternehmenszusammenschlssen

$74.99

Suglingsfrsorge und Kinderschutz in den europischen Staaten

$69.99

Probability and Banach Spaces

$34.99

Materials Science for Structural Geology

$109.99

Ethics and Cultural Policy in a Global Economy

$54.99

Representation and Retrieval of Video Data in Multimedia Systems

$84.99

Introduction to Plasma Physics and Controlled Fusion

$89.99

Angina Pectoris with Normal Coronary Arteries: Syndrome X

$219.99

Die Kirchenbauten Heinrichs I. und der Ottonen in Quedlinburg, Gernrode, Frose und Gandersheim

$54.99