The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)

Ronchi Della Rocca, Simona & Paolini, Luca

ISBN 10: 3540200320 ISBN 13: 9783540200321

Published by Springer, NY, 2004

Language: English

Condition: Used - Near fine Hardcover

Save for Later

Sold by Dorley House Books, Inc., Hagerstown, MD, U.S.A.

AbeBooks Seller since October 25, 2006

Seller rating 4 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Used - Near fine

Price: US$ 65.00 Convert Currency

US$ 8.65 shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

1st printing; pictorial c. 262 clean, unmarked pages.

Seller Inventory # 120498

Contact seller

Report this item

Bibliographic Details

Title

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)

Publisher

Springer, NY

Publication Date

2004

Language

English

ISBN 10

3540200320

ISBN 13

9783540200321

Binding

Hardcover

Edition

1st

Condition

Near Fine

Dust Jacket Condition

No Jacket as Issued

Seller catalogs

About this title

Synopsis

The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.

About the Author

Simona Ronchi Della Rocca: Full Professor of Foundations of Computer Science since 1987, Member of the Editorial Board of TOCL (ACM Transactions on Computational Logic), Member of the Organizing Committee of LICS (Logic in Computer Science), Member of the Accademy of Sciences of Torino

Luca Paolini: PhD student in Computer Science and Discrete Mathematics, Universit� di Genova and Universit� de la Mediterran�e.

"About this title" may belong to another edition of this title.

Store Description

Online sellers of rare, out-of-print and used books, prints, maps and ephemera for 30 years

Visit Seller's Storefront

Seller's business information

Dorley House Books, Inc.
155 Cumberland St., P.O. Box 138, Clear Spring, MD, 21722, U.S.A.

Sale & Shipping Terms

Terms of Sale

Please email any questions to us. CWO. Photos/scans available on request for books, prints and maps over $15.00. All books are returnable within thirty days if returned in the same condition as sent& with good reason. We prefer checks, money orders, or Paypal. All items subject to prior sale.We are a PC, 100% owned by Sandra & Jeffrey Inskeep-Fox

Shipping Terms

Domestic Media Mail is $4.85, Priority $7.3. Canadian orders add $8.00. To other locations, global priority $25 for flat rate envelopes. Orders over $45.00 must be insured at buyer's expense, others can be insured if requested and at buyer's expense. Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. Please note that there is no longer an economy surface shipping to overseas locations.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 20 business days	3 to 6 business days
First item	US$ 8.65	US$ 13.50

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.