| Management number | 231816445 | Release Date | 2026/06/18 | List Price | US$27.59 | Model Number | 231816445 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Read more
| ASIN | B000VHVT1G |
|---|---|
| XRay | Not Enabled |
| ISBN13 | 978-3540273592 |
| Edition | 2005th |
| Language | English |
| File size | 5.3 MB |
| Page Flip | Not Enabled |
| Publisher | Springer |
| Word Wise | Not Enabled |
| Print length | 400 pages |
| Accessibility | Learn more |
| Part of series | Texts in Theoretical Computer Science. An EATCS |
| Publication date | December 2, 2005 |
| Enhanced typesetting | Not Enabled |
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form