Abstract Computing Machines A Lambda Calculus Perspective

Werner Kluge

Published by SPRINGER NEW YORK INC, 2005
ISBN 10: 3540211462 / ISBN 13: 9783540211464
Used / Hardcover / Quantity Available: 0
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.

Description:

HARDCOVER Language: RD1. Legendary independent bookstore online since 1994. Reliable customer service and no-hassle return policy. New Arrivals. Book: USED, Good. Bookseller Inventory # 17978354021146400. Bookseller Inventory #

About this title:

Book ratings provided by Goodreads:
0 avg rating
(0 ratings)

Synopsis:

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

From the Back Cover:

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.

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. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.

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

Bibliographic Details

Title: Abstract Computing Machines A Lambda ...
Publisher: SPRINGER NEW YORK INC
Publication Date: 2005
Binding: Hardcover
Book Condition: Good

Top Search Results from the AbeBooks Marketplace

1.

Werner Kluge
Published by Springer (2005)
ISBN 10: 3540211462 ISBN 13: 9783540211464
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2005. Hardcover. Condition: New. 2005. Seller Inventory # DADAX3540211462

More information about this seller | Contact this seller

Buy New
US$ 77.67
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

2.

Werner Kluge
Published by Springer (2005)
ISBN 10: 3540211462 ISBN 13: 9783540211464
Used Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2005. Hardcover. Condition: Used: Good. Seller Inventory # SONG3540211462

More information about this seller | Contact this seller

Buy Used
US$ 78.79
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

3.

Werner Kluge
Published by Springer (2005)
ISBN 10: 3540211462 ISBN 13: 9783540211464
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2005. Condition: New. book. Seller Inventory # M3540211462

More information about this seller | Contact this seller

Buy New
US$ 89.38
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

4.

Kluge, Werner
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2004)
ISBN 10: 3540211462 ISBN 13: 9783540211464
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2004. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783540211464

More information about this seller | Contact this seller

Buy New
US$ 90.09
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Werner Kluge
Published by Springer Berlin Heidelberg 2005-02-18, Berlin (2005)
ISBN 10: 3540211462 ISBN 13: 9783540211464
New Hardcover Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer Berlin Heidelberg 2005-02-18, Berlin, 2005. hardback. Condition: New. Seller Inventory # 9783540211464

More information about this seller | Contact this seller

Buy New
US$ 103.82
Convert Currency

Add to Basket

Shipping: US$ 8.40
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

WERNER KLUGE
Published by Springer (2005)
ISBN 10: 3540211462 ISBN 13: 9783540211464
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2005. Hardback. Condition: NEW. 9783540211464 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0330020

More information about this seller | Contact this seller

Buy New
US$ 100.95
Convert Currency

Add to Basket

Shipping: US$ 11.20
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Werner Kluge
Published by Springer 2005-04-06 (2005)
ISBN 10: 3540211462 ISBN 13: 9783540211464
New Hardcover Quantity Available: 1
Seller:
Lost Books
(AUSTIN, TX, U.S.A.)
Rating
[?]

Book Description Springer 2005-04-06, 2005. Hardcover. Condition: New. 1. 3540211462. Seller Inventory # 524362

More information about this seller | Contact this seller

Buy New
US$ 101.17
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

8.

Werner Kluge
Published by Springer-Verlag Gmbh Feb 2005 (2005)
ISBN 10: 3540211462 ISBN 13: 9783540211464
New Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer-Verlag Gmbh Feb 2005, 2005. Buch. Condition: Neu. Neuware - The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. 384 pp. Englisch. Seller Inventory # 9783540211464

More information about this seller | Contact this seller

Buy New
US$ 108.52
Convert Currency

Add to Basket

Shipping: US$ 14.77
From Germany to U.S.A.
Destination, Rates & Speeds

9.

Werner Kluge
Published by Springer-Verlag Gmbh Feb 2005 (2005)
ISBN 10: 3540211462 ISBN 13: 9783540211464
New Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Feb 2005, 2005. Buch. Condition: Neu. Neuware - The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. 384 pp. Englisch. Seller Inventory # 9783540211464

More information about this seller | Contact this seller

Buy New
US$ 108.52
Convert Currency

Add to Basket

Shipping: US$ 21.09
From Germany to U.S.A.
Destination, Rates & Speeds

10.

Werner Kluge
Published by Springer-Verlag Gmbh Feb 2005 (2005)
ISBN 10: 3540211462 ISBN 13: 9783540211464
New Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Feb 2005, 2005. Buch. Condition: Neu. Neuware - The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. 384 pp. Englisch. Seller Inventory # 9783540211464

More information about this seller | Contact this seller

Buy New
US$ 108.52
Convert Currency

Add to Basket

Shipping: US$ 21.09
From Germany to U.S.A.
Destination, Rates & Speeds

There are 14 more copies of this book

View all search results for this book