Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Book Details
Author(s)Werner Kluge
PublisherSpringer
ISBN / ASIN3642059384
ISBN-139783642059384
AvailabilityUsually ships in 24 hours
Sales Rank6,182,704
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
