
Typed Lambda Calculi and Applications (English, Luke Ong)
by Luke Ong
Delivery options
₹5,517
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: ₹5,517
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642216909
ISBN-10
3642216900
Author
Luke Ong
About the Book
This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. The 15 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers provide prevailing research results on all current aspects of typed lambda c…
ISBN: 9783642216909
ISBN-13: 9783642216909
ISBN-10: 3642216900
Frequently Asked Questions
What is the price of Typed Lambda Calculi and Applications?
Typed Lambda Calculi and Applications starts from ₹5517 at GlowMirror. Available in Paperback.
Who is the author of Typed Lambda Calculi and Applications?
Luke Ong is the author of Typed Lambda Calculi and Applications. Browse more books by Luke Ong on GlowMirror.
Is Typed Lambda Calculi and Applications available in Paperback and Hardcover?
Yes, Typed Lambda Calculi and Applications is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Typed Lambda Calculi and Applications?
Yes, GlowMirror offers free delivery for Typed Lambda Calculi and Applications across India. No minimum order value required.
Is Cash on Delivery available for Typed Lambda Calculi and Applications?
Yes, Cash on Delivery (COD) is available for Typed Lambda Calculi and Applications on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783642216909
🛒 Customers Also Bought

Lebensmittelanalytik (English, H. G. Maier)
₹3,623
Angstdiagnostik (English, Jürgen Hoyer | Jürgen Margraf)
₹5,330
Mathematical Logic (English, Rene Cori | Daniel Lascar | Ren? Cori)
₹19,604
Introduction to Lattice Dynamics (English, Martin T. Dove | Andrew Putnis | Robert C. Liebermann)
₹16,957
Elements of Algebraic Coding Theory (English, Vermani L.R.)
₹10,213
Nanoscale Energy Transport and Conversion (English, Gang Chen)
₹24,264Related Products

Soft Matter Physics (English, Maurice Kleman | J. Friedel | Oleg D. Laverntovich)
₹33,856
Pilze (English, J. Webster | K. Esser | B. D. Epp)
₹4,601
The Meditations of Marcus Aurelius (English, R. B. Rutherford)
₹8,485
Introduction to the Theory of Ferromagnetism (English, Amikam Aharoni)
₹28,056
Pflegestandards (English, Adelheid Stösser)
₹3,508