The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. This book takes a lambda calculus approach to organizing computations. It sets out with a brief introduction to lambda calculus, describes a variant of the classical SECD-machine as a basic interpreter for the lambda calculus, and in the main part continues with fully normalizing abstract lambda calculus machines, of which some are interpreting and some execute compiled code.

About the Author

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. Augustin/Germany between 1973 and 1978; became an associate professor of computer science at the University of Bonn/Germany in 1978; became a full professor of computer science at the University of Kiel/Germany retired in 2003.

"About this title" may belong to another edition of this title.

Store Description

Second hand, new and antiquarian books, some rare, some manuscripts. We update our stock almost weekly - please do keep checking with us. Not all books online are kept at the Shop on Charing Cross Road. so please contact us before coming in for a book that you have found here .

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Any Amount of Books Limited
56 Charing Cross Road, Westminster, London, WC2H 0QA, United Kingdom

Sale & Shipping Terms

Terms of Sale

Books can be returned for a full refund if found not to be as described. Please, if possible, contact us within 2 weeks of receipt.

Shipping Terms

We ship to most places in the world. We recommend, and may insist on using signed or tracked services for any book over �50 in value.

Postage: Books up to 1 kg (normal size books):

�5.50 to �7.00 signed for within UK

�18.00 tracked and signed to Europe

�18.50 tracked to USA

from �24.00 tracked to Canada, Asia, Australia and most international destinations

PLEASE NOTE:
*Books weighing over1 kilo will cost more and will be charged accordingly - please contact us for an estimate on postage costs if you would like to know these before purchasing.
We can discount postage costs for pamphlets, very light paperbacks etc. We are happy to combine shipping costs.

We pack all books very carefuly, using bubble wrap and strong specialist cardboard book mailing boxes for all books. Please ask any questions if there is something you are not sure about or would like more details or photographs of a book before ordering.

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	6 to 30 business days	6 to 30 business days
First item	US$ 24.62	US$ 24.62

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.