Abstract Computing Machines von Werner Kluge | A Lambda Calculus Perspective | ISBN 9783540273592

Abstract Computing Machines

A Lambda Calculus Perspective

von Werner Kluge
Buchcover Abstract Computing Machines | Werner Kluge | EAN 9783540273592 | ISBN 3-540-27359-X | ISBN 978-3-540-27359-2
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)

Abstract Computing Machines

A Lambda Calculus Perspective

von Werner Kluge
Emphasizes the design of full-fledged, fully normalizing Lambda-calculus machinery, as opposed to the just weakly normalizing machines Includes supplementary material: sn. pub/extras