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 — Ships same day. Delivery in 3-4 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 BookBajar. 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 BookBajar.
Is Lambda Calculus with Types available in Paperback and Hardcover?
Yes, Lambda Calculus with Types is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Lambda Calculus with Types?
Yes, BookBajar 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 BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780521766142
🛒 Customers Also Bought
An Illustrated Guide to Anatomical Eponyms (English, Hans J. Ten Donkelaar | Marina Quartu | David Kachlík)
₹16,497
Das Dritte Dogma Des Empirismus Das ABC Der Modernen Logik Und Semantik Der Begriff Der Erklärung Un (English, Wolfgang Stegmüller)
₹1,791
Vorlesungen Über Massivbau (English, F. Leonhardt)
₹4,141
Phantasie, Bildbewusstsein, Erinnerung (English, Edmund Husserl | E. Marbach)
₹54,154
Chemoarchitecture of the Brain (English, R. Nieuwenhuys)
₹5,648
Gerichtliche Medizin (English, Berthold Mueller)
₹4,171Related Products
Io: A New View of Jupiter’s Moon (English, Rosaly M. C. Lopes | Katherine de Kleer | James Tuttle Keane)
₹11,975
Der Untergang Des Niederländischen Volksliedes (English, H. F. Wirth)
₹3,587
Classification Theory of Algebraic Varieties and Compact Complex Spaces (English, P. Cherenack | K. Ueno)
₹5,724
Sternverzeichnis Enthaltend Alle Sterne Bis Zur 6.5ten Grösse Für Das Jahr 1900.0 (English, Na Ambronn)
₹3,508
Five Types of Ethical Theory (English, Broad C.D.)
₹36,229