Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

Name: Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Author: Werner Kluge
ISBN: 9783642059384

Author Werner Kluge

Publisher Springer

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

103.55 109.00 USD

🛒 Buy New on Amazon 🇺🇸 🏷 Buy Used — $114.73

✓ Usually ships in 24 hours

Book Details

Author(s)Werner Kluge

PublisherSpringer

ISBN / ASIN3642059384

ISBN-139783642059384

AvailabilityUsually ships in 24 hours

Sales Rank6,182,704

MarketplaceUnited States 🇺🇸

Description ▲

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