Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Abstract Computing Machines: A Lambda Calculus Perspective by Werner Kluge (Paperback, 2010)
thenilestore (1245088)
99.1% positive feedback
Price:
AU $171.25
+ $4.99 postage
Returns:
30-day returns. Buyer pays for return postage. If you use an eBay postage label, it will be deducted from your refund amount.
Condition:
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.
- Buy It NowAbstract Computing Machines: A Lambda Calculus Perspective by Werner Kluge (Engl
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Information
The book emphasizes the design of full-fledged, fully normalizing lambda calculusmachinery, as opposed to the just weakly normalizing machines.Product Identifiers
PublisherSpringer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-139783642059384
eBay Product ID (ePID)107648275
Product Key Features
Publication NameAbstract Computing Machines: a Lambda Calculus Perspective
SubjectComputer Science
Publication Year2010
TypeTextbook
FormatPaperback
LanguageEnglish
AuthorWerner Kluge
Number of Pages384 Pages
Dimensions
Item Height235 mm
Item Weight611 g
Item Width155 mm
Additional Product Features
Country/Region of ManufactureGermany
Title_AuthorWerner Kluge
Series TitleTexts in Theoretical Computer Science. an Eatcs Series
