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

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

Right of cancellation

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	� 6.52	� 10.17

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.