Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Book Details
Author(s)
Werner Kluge
Publisher
Springer
ISBN / ASIN
3642059384
ISBN-13
9783642059384
Availability
Usually ships in 24 hours
Sales Rank
#6,182,704
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
