Lambda Calculus with Types (English, Henk Barendregt | Wil Dekkers | Richard Statman)
by Henk Barendregt | Wil Dekkers | Richard Statman
Delivery options
₹10,676
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹10,676
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521766142
ISBN-10
0521766141
Author
Henk Barendregt | Wil Dekkers | Richard Statman
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
ISBN-13: 9780521766142
ISBN-10: 0521766141
Frequently Asked Questions
What is the price of Lambda Calculus with Types?
Lambda Calculus with Types starts from ₹10676 at GlowMirror. Available in Paperback.
Who is the author of Lambda Calculus with Types?
Henk Barendregt | Wil Dekkers | Richard Statman is the author of Lambda Calculus with Types. Browse more books by Henk Barendregt | Wil Dekkers | Richard Statman on GlowMirror.
Is Lambda Calculus with Types available in Paperback and Hardcover?
Yes, Lambda Calculus with Types is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Lambda Calculus with Types?
Yes, GlowMirror offers free delivery for Lambda Calculus with Types across India. No minimum order value required.
Is Cash on Delivery available for Lambda Calculus with Types?
Yes, Cash on Delivery (COD) is available for Lambda Calculus with Types on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9780521766142
🛒 Customers Also Bought
The Evolution of Conceptual Modeling (English, Roland Kaschek | Lois M. L. Delcambre)
₹5,822
Lagerstättentechnik (English, Hans-Dieter Voigt)
₹4,601
Sieve Methods, Exponential Sums, and Their Applications in Number Theory (English, G. R. H. Greaves | G. R. H. Greaves | G. Harman)
₹8,014
A Gentle Course in Local Class Field Theory (English, Pierre Guillot)
₹9,871
Mathematical Logic (English, Rene Cori | Daniel Lascar | Ren? Cori)
₹19,604
Uncertainty Analysis for Engineers and Scientists (English, Faith A. Morrison)
₹5,273Related Products
The Dynastinae of the World (English, S. Endrödi)
₹38,485
Pflegestandards (English, Adelheid Stösser)
₹3,508
Angstdiagnostik (English, Jürgen Hoyer | Jürgen Margraf)
₹5,330
Lebensmittelanalytik (English, H. G. Maier)
₹3,623
Erfolgsfaktor Innovation (English, Ralph Berndt)
₹4,237