Abstract Computing Machines: A Lambda Calculus Perspective - Texts in Theoretical Computer Science. An EATCS Series - Werner Kluge - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540211464 - February 18, 2005
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 2005 edition

Price
$ 122.99
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 12 - 25
Christmas presents can be returned until 31 January

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.

404 pages, 89 black & white illustrations, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released February 18, 2005
Original release date 2004
ISBN13 9783540211464
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 384
Dimensions 155 × 235 × 23 mm   ·   712 g
Show all

More by Werner Kluge

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