The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
4.1 (58 items)
Limited Time SaleUS$22.47 cheaper than the new price!!
Free cash-on-delivery fees for purchases over $99
Product details
| Management number | 231816604 | Release Date | 2026/06/18 | List Price | US$14.98 | Model Number | 231816604 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ASIN | B000W7ZPW4 |
|---|---|
| XRay | Not Enabled |
| ISBN13 | 978-3662103944 |
| Edition | 2004th |
| Language | English |
| File size | 4.3 MB |
| Page Flip | Not Enabled |
| Publisher | Springer |
| Word Wise | Not Enabled |
| Print length | 262 pages |
| Accessibility | Learn more |
| Part of series | Texts in Theoretical Computer Science. An EATCS |
| Publication date | March 9, 2013 |
| Enhanced typesetting | Not Enabled |
Bestseller ranking
Stirring Rods
Customers who viewed this product also viewed
AI & Semantics
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form