Items related to Categorical Combinators, Sequential Algorithms, and...
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science) - Hardcover
Synopsis
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).
"synopsis" may belong to another edition of this title.
- PublisherBirkhäuser
- Publication date1993
- ISBN 10 0817636544
- ISBN 13 9780817636548
- BindingHardcover
- LanguageEnglish
- Number of pages424
Other Popular Editions of the Same Title
Search results for Categorical Combinators, Sequential Algorithms, and...
Stock Image
Categorical Combinators, Sequential Algorithms, and Functional Programming
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 428 2. Seller Inventory # 263062334
Quantity: 1 available
Stock Image
Categorical Combinators, Sequential Algorithms, and Functional Programming
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 428 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 5834209
Quantity: 1 available
Stock Image
Categorical Combinators, Sequential Algorithms, and Functional Programming
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 428. Seller Inventory # 183062324
Quantity: 1 available
Stock Image
CATEGORICAL COMBINATORS, SEQUENTIAL ALGORITHMS, AND FUNCTIONAL PROGRAMMING.
Seller: PASCALE'S BOOKS, NORTH READING, MA, U.S.A.
Seller rating 5 out of 5 stars
Hard Cover. Condition: Fine. First published in 1986, this book is the second edition, revised from 1993, 430 pages. "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. This monograph that presents an approach to the design and implementation of sequential programming languges based on the relationship between lamdba-calculus and category theory." FINE HARDCOVER. Size: 8vo - over 7¾" - 9¾" tall. Seller Inventory # 022741
Quantity: 1 available
Stock Image
Categorical Combinators, Sequential Algorithms, and Functional Programming
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-595-515
Quantity: 1 available
Stock Image
Categorical Combinators, Sequential Algorithms, and Functional Programming
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-129781
Quantity: 1 available
Stock Image
Categorical Combinators, Sequential Algorithms, and Functional Programming
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTA-217489
Quantity: 1 available
Stock Image
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190237323
Quantity: Over 20 available
Stock Image
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780817636548_new
Quantity: Over 20 available
Seller Image
Categorical Combinators, Sequential Algorithms, and Functional Programming
Published by
Birkhäuser Boston Jan 1993, 1993
ISBN 10: 0817636544
ISBN 13: 9780817636548
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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). 428 pp. Englisch. Seller Inventory # 9780817636548
Quantity: 2 available