-58% OFFCambridge University Press
Lambda Calculus with Types (English, Henk Barendregt | Wil Dekkers | Richard Statman)
₹4,511₹10,676Save 58%
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9780521766142 |
| ISBN-10 | 0521766141 |
Product Description
About the Book
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean)…
ISBN: 9780521766142
Frequently Asked Questions
What is the price of Lambda Calculus with Types?
Lambda Calculus with Types is available at ₹4,511 on BookShops.in.
Does BookShops.in offer free delivery for Lambda Calculus with Types?
FREE delivery on all orders for Lambda Calculus with Types.
Is Cash on Delivery available for Lambda Calculus with Types?
Yes, Cash on Delivery (COD) is available for Lambda Calculus with Types on BookShops.in. Pay when your order arrives.
What is the return policy for Lambda Calculus with Types?
BookShops.in offers a 15-day hassle-free return policy for Lambda Calculus with Types. Contact us at support@bookshops.in or call +91 81899 68108.
Is Lambda Calculus with Types authentic?
Lambda Calculus with Types is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
