Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642059384 - November 10, 2010
In case cover and title do not match, the title is correct

Werner Kluge
Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2005 edition

Price
HK$ 840
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 8 - 12

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

384 pages, 89 black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 10, 2010
ISBN13 9783642059384
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 384
Dimensions 155 × 235 × 21 mm   ·   557 g
Language English  

More by Werner Kluge

Show all

Mere med samme udgiver

See all of Werner Kluge ( e.g. Paperback Book and Hardcover Book )