Abstract Computing Machines: A Lambda Calculus Perspective by Werner Kluge (Engl
112,00 €
By Werner Kluge. This book takes a lambda calculus approach to organizing computations. Author Werner Kluge. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects.
Jetzt bei Ebay:
