Abstract Computing Machines
Book Details
Author(s)
Werner Kluge
Publisher
Springer
ISBN / ASIN
3540211462
ISBN-13
9783540211464
Availability
Usually ships in 24 hours
Sales Rank
#1,960,131
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.
