Abstract Computing Machines: A Lambda Calculus Perspective by Werner KlugeAbstract Computing Machines: A Lambda Calculus Perspective by Werner Kluge

Abstract Computing Machines: A Lambda Calculus Perspective

byWerner Kluge

Paperback | November 10, 2010

Pricing and Purchase Info

$129.37 online 
$150.50 list price save 14%
Earn 647 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Received a Dr. rer. nat. degree in physics from the Technical University Munich/Germany in 1968; worked in industrie/research institutes at the central laboratories of Siemens AG between 1963 and 1968, at Bell Northern Research Ltd in Ottawa/Canada between 1969, and 1972 at the Gesellschaft fuer Mathematik und Datenverarbeitung in St. ...
Title:Abstract Computing Machines: A Lambda Calculus PerspectiveFormat:PaperbackDimensions:384 pages, 23.5 × 15.5 × 0.07 inPublished:November 10, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642059384

ISBN - 13:9783642059384


Table of Contents

Preliminary Table of Contents: Algorithms and Programs.- An Algorithmic Language.- The Lambda Calculus.- the SE(M)CD-Machine.- Towards Full-fledged Lambda Calculus Machines.- Head-order Graph Reduction.- The B-Machine.- The G-Machine.- The p-RED Machinery.

Editorial Reviews

From the reviews:"This remarkable monograph is an extremely well-written and pleasant and reading about abstract computing machines . . The author chooses a somewhat 'imperative' approach to teaching, which results in the survey of a vast number of concepts provided with many useful examples. The expository style is most favourable, which could be of special value for a reader with no strong background in the area. . Altogether, this is a book worth reading." (Vladimir Komendantsky, Mathematical Reviews, Issue 2007 k)