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

0 avg rating
( 0 ratings by Goodreads )
 
9780817636548: Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)

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.

Top Search Results from the AbeBooks Marketplace

1.

P.-L. Curien
Published by Birkhäuser (1993)
ISBN 10: 0817636544 ISBN 13: 9780817636548
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Birkhäuser, 1993. Hardcover. Book Condition: New. book. Bookseller Inventory # M0817636544

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 68.69
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

P.-L. Curien
Published by Birkh?user (1993)
ISBN 10: 0817636544 ISBN 13: 9780817636548
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Birkh?user, 1993. Hardcover. Book Condition: New. 1993. Bookseller Inventory # DADAX0817636544

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 125.71
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

3.

P-.L. Curien
Published by BIRKHAUSER BOSTON INC, United States (1993)
ISBN 10: 0817636544 ISBN 13: 9780817636548
New Hardcover Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description BIRKHAUSER BOSTON INC, United States, 1993. Hardback. Book Condition: New. 2nd Revised edition. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. 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). Bookseller Inventory # LIE9780817636548

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 169.65
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

P-.L. Curien
Published by Birkhauser Boston Inc (1993)
ISBN 10: 0817636544 ISBN 13: 9780817636548
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Birkhauser Boston Inc, 1993. HRD. Book Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IP-9780817636548

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 176.38
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Curien, P.-L.
Published by Birkhäuser
ISBN 10: 0817636544 ISBN 13: 9780817636548
New Hardcover Quantity Available: 1
Seller:
Cloud 9 Books
(Wellington, FL, U.S.A.)
Rating
[?]

Book Description Birkhäuser. Hardcover. Book Condition: New. 0817636544 New Condition. Bookseller Inventory # NEW7.1349660

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 183.47
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

6.

Curien, P.-L.
Published by Birkhäuser (2016)
ISBN 10: 0817636544 ISBN 13: 9780817636548
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Birkhäuser, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9780817636548_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 189.77
Convert Currency

Add to Basket

Shipping: US$ 5.17
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

P-.L. Curien
Published by Birkhauser Boston Inc (1993)
ISBN 10: 0817636544 ISBN 13: 9780817636548
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Birkhauser Boston Inc, 1993. HRD. Book Condition: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Bookseller Inventory # IP-9780817636548

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 183.95
Convert Currency

Add to Basket

Shipping: US$ 12.00
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

P.-L. CURIEN
Published by BirkhÇÏuser (1993)
ISBN 10: 0817636544 ISBN 13: 9780817636548
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description BirkhÇÏuser, 1993. Hardback. Book Condition: NEW. 9780817636548 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Bookseller Inventory # HTANDREE0285446

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 200.89
Convert Currency

Add to Basket

Shipping: US$ 10.66
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

P.-L. Curien
Published by Birkhäuser (1993)
ISBN 10: 0817636544 ISBN 13: 9780817636548
New Hardcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Birkhäuser, 1993. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # LP9780817636548

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 212.17
Convert Currency

Add to Basket

Shipping: US$ 3.51
From Germany to U.S.A.
Destination, Rates & Speeds

10.

P-.L. Curien
Published by BIRKHAUSER BOSTON INC, United States (1993)
ISBN 10: 0817636544 ISBN 13: 9780817636548
New Hardcover Quantity Available: 10
Print on Demand
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description BIRKHAUSER BOSTON INC, United States, 1993. Hardback. Book Condition: New. 2nd Revised edition. Language: English . Brand New Book ***** Print on Demand *****. 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). Bookseller Inventory # APC9780817636548

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 223.57
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book