Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Functional

Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)


Blowout Sale! Save 64% on the Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science) by Brand: Birkhäuser at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science,


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).

Additional Information

Manufacturer:Birkhäuser
Brand:Brand: Birkhäuser
Publisher:Birkhäuser
Studio:Birkhäuser
EAN:9780817636548
Item Weight:1.7 pounds
Item Size:0.94 x 9.21 x 9.21 inches
Package Weight:1.65 pounds
Package Size:6.1 x 1.1 x 1.1 inches

Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science) by Brand: Birkhäuser

Buy Now:
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)

Brand: Brand: Birkhäuser
4.5 out of 5 stars with 25 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$199.00
$72.08
You Save: 64%


Quantity:  

 


View More In Functional.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Brand: Birkhäuser, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9781402074011, isbn: 1402074018,
mental improvements during the same period. What is clearly needed in verification techniques and technology is the equivalent of a synthesis productivity breakthrough. In the second edition of Writing Testbenches, Bergeron raises the verification le...

ean: 9783319483108, isbn: 3319483102,
This reference text, now in its second edition, offers a modern unifying presentation of three basic areas of nonlinear analysis: convex analysis, monotone operator theory, and the fixed point theory of nonexpansive operators. Taking a unique compreh...

ean: 9780521631242, isbn: 0521631246,
Most books on data structures assume an imperative language such as C or C++. However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structur...

ean: 9780521621120, isbn: 0521621127,
All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal red...

mpn: black & white tables, figures, ean: 9781111526504, isbn: 1111526508,
From the respected instructor and author Paul Addison, PRINCIPLES OF PROGRAM DESIGN: PROBLEM SOLVING WITH JAVASCRIPT presents the fundamental concepts of good program design, illustrated and reinforced by hands-on examples using JavaScript. Why JavaS...

mpn: illustrations, index, ean: 9780137903870, isbn: 0137903871,
Written by a well-known computer science education and researcher. No previous knowledge of ML or functional programming is assumed. This is the first book that offers BOTH a highly accessible, step-by-step introductory tutorial on ML programming a...

ean: 9781785611070, isbn: 1785611070,
Modern electrical power systems are facing complex challenges, arising from distributed generation and intermittent renewable energy. Fuzzy logic is one approach to meeting this challenge and providing reliability and power quality. The book is about...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.