The book emphasizes the design of full-fledged, fully
normalizing lambda calculus
machinery, as opposed to the just weakly normalizing machines.
General
| Imprint: |
Springer-Verlag
|
| Country of origin: |
Germany |
| Series: |
Texts in Theoretical Computer Science. An EATCS Series |
| Release date: |
November 2010 |
| First published: |
2005 |
| Authors: |
Werner Kluge
|
| Dimensions: |
235 x 155 x 21mm (L x W x T) |
| Format: |
Paperback
|
| Pages: |
384 |
| Edition: |
Softcover reprint of hardcover 1st ed. 2005 |
| ISBN-13: |
978-3-642-05938-4 |
| Categories: |
Books >
Computing & IT >
Computer programming >
Programming languages >
General
Promotions
|
| LSN: |
3-642-05938-4 |
| Barcode: |
9783642059384 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
