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