Abstract Computing Machines: A Lambda Calculus Perspective by Werner Kluge (Paperback, 2010)
Be the first to write a review.
Brand new: lowest price
AU $136.99
Free postage- Get it by Thu, 31 May - Mon, 18 Jun from Sydney, Australia
- • Brand new condition
- • Returns accepted - 30 days money back
By Werner Kluge. Author Werner Kluge. This book takes a lambda calculus approach to organizing computations. The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
