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
Levi-Strauss, Anthropology, and Aesthetics (English, Boris Wiseman)
₹4,414
A Gentle Course in Local Class Field Theory (English, Pierre Guillot)
₹9,871
Neural Network Modeling (English, P. S. Neelakanta | Dolores Degroff)
₹23,693
Potential Theory in the Complex Plane (English, Thomas Ransford | C. M. Series | J. W. Bruce)
₹6,670
Chirurgie Der Abdominalen Und Thorakalen Aorta (English, R. I. Rückert | Wolfgang Hepp | Bernd Luther)
₹4,237
Analyzing Health Equity Using Household Survey Data (English, Owen O'Donnell | Eddy Van Doorslaer | Adam Wagstaff)
₹2,599Related Products
Handbook on Modelling for Discrete Optimization (English, Gautam M. Appa | Leonidas Pitsoulis | H. Paul Williams)
₹12,248
Angstdiagnostik (English, Jürgen Hoyer | Jürgen Margraf)
₹5,330
Pflegestandards (English, Adelheid Stösser)
₹3,508
An Introduction to Polynomial and Semi-Algebraic Optimization (English, Jean Bernard Lasserre)
₹17,378
Einführung in Die Betriebswirtschaftslehre (English, Fred G. Becker)
₹2,155