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
SFr. 85.99
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 22 - Jan 1, 2026
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.

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  
Show all

More by Werner Kluge

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