The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Read More
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Read Less
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Edition:
2005, Springer
Hardcover,
New
Available Copies: 5
Details:
ISBN:
3540211462
ISBN-13:
9783540211464
Pages:
384
Edition:
2005 edition
Publisher:
Springer
Published:
2005
Language:
English
Alibris ID:
17980651796
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Sewn binding. Cloth over boards. 384 p. Contains: Illustrations, black & white. Texts in Theoretical Computer Science. an Eatcs.
Hide Details ▴
Edition:
2005, Springer
Hardcover,
New
Available Copies: 10+
Details:
ISBN:
3540211462
ISBN-13:
9783540211464
Pages:
384
Edition:
2005 edition
Publisher:
Springer
Published:
2005
Language:
English
Alibris ID:
10547076684
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Sewn binding. Cloth over boards. 384 p. Contains: Illustrations, black & white. Texts in Theoretical Computer Science. an Eatcs.
Hide Details ▴
Edition:
2005, Springer
Hardcover,
Good
Available Copies: 2
Details:
ISBN:
3540211462
ISBN-13:
9783540211464
Pages:
384
Edition:
2005 edition
Publisher:
Springer
Published:
2005
Language:
English
Alibris ID:
16847256909
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
Edition:
2005, Springer
Hardcover,
New
Details:
ISBN:
3540211462
ISBN-13:
9783540211464
Pages:
384
Edition:
2005 edition
Publisher:
Springer
Published:
2005
Language:
English
Alibris ID:
17908597508
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New.
Hide Details ▴
2010,
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin
ISBN-13: 9783642059384
Paperback
2005,
Springer, Berlin, Heidelberg
ISBN-13: 9783540211464
2005 edition
Hardcover
All Editions of Abstract Computing Machines: A Lambda Calculus Perspective