{
"item_title" : "The Parametric Lambda Calculus",
"item_author" : [" Simona Ronchi Della Rocca", "Luca Paolini "],
"item_description" : "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. ",
"item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/64/205/746/3642057462_b.jpg",
"price_data" : {
"retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
The Parametric Lambda Calculus : A Metamodel for Computation
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.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783642057465
- ISBN-10: 3642057462
- Publisher: Springer
- Publish Date: December 2010
- Dimensions: 9.21 x 6.14 x 0.57 inches
- Shipping Weight: 0.85 pounds
- Page Count: 248
Related Categories
