The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) book cover by Simona Ronchi Della Rocca, Luca Paolini

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

Name: The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) [9783540200321]
SKU: 9783540200321
Availability: InStock

Author: Simona Ronchi Della Rocca Luca Paolini

Hardcover

SKU: 9783540200321

Buy More - Save More. Below are the available bulk discount rates for each individual item when you purchase a certain amount
Quantity	Price	Savings
25 - 49		12%
50 - 99		13%
100+		14%

Format Sturdy and long-lasting. Ideal for libraries and classrooms, and a polished choice for corporate gifts, leadership programs, or event takeaways.

Hardcover

Price $54.99

Current Stock:

Quantity

Total for 25 copies:

Adding to cart… The item has been added

Free shipping over $95
Price Match Guarantee. Found a better price? Let us know! We’ll work to match it so you get the best value with BookPal.

Overview

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.

The book, The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) [Bulk, Wholesale, Quantity] ISBN#9783540200321 in Hardcover by Simona Ronchi Della Rocca, Luca Paolini may be ordered in bulk quantities. Minimum starts at 25 copies. Availability based on publisher status and quantity being ordered.

Details

Author:

Simona Ronchi Della Rocca Luca Paolini

Format:

Hardcover

Publication Date:

07/05/2004

ISBN-13:

9783540200321

Pages:

248

Publisher:

Springer Berlin Heidelberg

Customer Reviews

Write a Review

This product hasn't received any reviews yet. Be the first to review this product!

Need Books? BookPal Makes it Easy

Free Shipping

Enjoy free ground shipping on us! Most orders over $95 qualify for free standard ground shipping.It takes an estimated 7-10 business days to deliver and may require additional processing time
Learn More
Dedicated Account Managers

At BookPal, we go beyond the transaction by providing personal support and a dedicated account manager for every customer.
Learn More
Flexible Delivery Options

We offer flexible delivery options such Free Ground Shipping (on most orders over $100), Expedited Premium, Expedited Express, International Shipping etc.
Learn More
Sales Tax Exemption

BookPal is a tax-exempt supplier for all 50 states. We can provide you with a tax-exempt certificate to use on your orders.
Learn More
Price Match Guarantee

With over 3 million book titles available, it's impossible to always be the lowest priced. If you find a lower price on a new title elsewhere that is available to ship in the quantity you need, we are happy to discount your books and match the lower price.
Learn More
Multiple Payment Options

BookPal accepts all major credit cards, PayPal, and checks by mail, along with Purchase Orders upon approval. We also accept ACH payments and wire transfers.
Learn More