Abstract Computing Machines
Book Details
Author(s)Werner Kluge
PublisherSpringer
ISBN / ASIN3540211462
ISBN-139783540211464
AvailabilityUsually ships in 24 hours
Sales Rank1,960,131
MarketplaceUnited States 🇺🇸
Description
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
More Books by Werner Kluge
