Abstract Computing Machines
Book Details
Author(s)Werner Kluge
PublisherSpringer
ISBN / ASIN3540211462
ISBN-139783540211464
MarketplaceUnited Kingdom 🇬🇧
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
