The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
Product details
| Management number | 231816604 | Release Date | 2026/06/18 | List Price | $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
AI & Semantics
Customers who viewed this product also viewed
Garden Arbors
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