BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic) (Volume 40)

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic) (Volume 40)

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic) (Volume 40)
Stock photo: cover may vary

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic) (Volume 40) Paperback - 2012

by Barendregt, HP

Add to wish list
  • Used
  • Paperback

Description

College Publications, 2012. Volume 40. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Book contains pen markings. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9781848900660
Ask the seller a question Add to wish list
A$36.90
A$26.62 Delivery to USA
Standard delivery: 7 to 20 days
More delivery options
Ships from Anybook.com (Lincolnshire, United Kingdom)

Details

About Anybook.com Lincolnshire, United Kingdom

Biblio member since 2004

Established in 1998 Anybook.com. has sold millions of scholastic books to university libraries, academics, students and reflective bibliophiles throughout the world. As the majority of our books are ex-library they are well bound, in good, clean condition and ideally suited for study and research. Our books cover a huge range of academic disciplines from Mathematics, Science and Philosophy to Art and Literature as well as many works in other European languages.

Terms of Sale:

Based in central Lincoln, Anybook.com. sells exclusively online. We specialise in academic works. All our books are in good condition or better, unless otherwise described. All the books we have on sale are to hand in our warehouses in Lincoln. Photographs and additional information on request. Books out within 1 working day. We use reputable couriers at greatly discounted postage rates. As well as Visa and Mastercard, we also accept Switch, Discover and Solo. We also accept Paypal (www.paypal.com) payments. Other methods of payment are possible but please email us for details. Remember if you are unsatisfied in any way with any purchase, we will give you a complete and unconditional refund. E-mail us if you have any questions about the service we offer. Please be aware our prices and shipping costs do not include local import taxes which may need to be paid by the customer upon receipt.

Browse books from Anybook.com

Reader reviews for The Lambda Calculus, Its Syntax and Semantics (Studies in Logic) (Volume 40)

From the publisher

The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic. The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to actually obtain the result one has to rewrite the expression FM according to the reduction rules. Abstraction provides a way to create functions according to the effect when applying them. The power of the theory comes from the fact that computations, both terminating and infinite, can be expressed by lambda terms at a 'comfortable' level of abstraction.
tracking-