Abstract Computing Machines: A Lambda Calculus Perspective by Werner Kluge (Paperback, 2010)

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.