Typed Lambda Calculi and Applications (English, Mariangiola Dezani-Ciancaglini | Gordon Plotkin)
by Mariangiola Dezani-Ciancaglini | Gordon Plotkin
Delivery options
₹5,666
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,666
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540590484
ISBN-10
354059048X
Author
Mariangiola Dezani-Ciancaglini | Gordon Plotkin
About the Book
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics…
ISBN: 9783540590484
ISBN-13: 9783540590484
ISBN-10: 354059048X
Frequently Asked Questions
What is the price of Typed Lambda Calculi and Applications?
Typed Lambda Calculi and Applications starts from ₹5666 at GlowMirror. Available in Paperback.
Who is the author of Typed Lambda Calculi and Applications?
Mariangiola Dezani-Ciancaglini | Gordon Plotkin is the author of Typed Lambda Calculi and Applications. Browse more books by Mariangiola Dezani-Ciancaglini | Gordon Plotkin 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-9783540590484
🛒 Customers Also Bought
Galactic and Intergalactic Magnetic Fields (English, R. Beck | P. P. Kronberg | R. Wielebinski)
₹15,094
Pflegestandards (English, Adelheid Stösser)
₹3,508
Nanoscale Energy Transport and Conversion (English, Gang Chen)
₹24,264
Introduction to the Theory of Ferromagnetism (English, Amikam Aharoni)
₹28,056
Fundamentals of Magnonics (English, Rezende | Sergio M.)
₹6,128
Differential Geometry and Statistics (English, Murray M.K.)
₹16,462Related Products
Levi-Strauss, Anthropology, and Aesthetics (English, Boris Wiseman)
₹4,414
The Cambridge Companion to Vygotsky (English, Harry Daniels | Michael Cole | James V. Wertsch)
₹4,540
Sieve Methods, Exponential Sums, and Their Applications in Number Theory (English, G. R. H. Greaves | G. R. H. Greaves | G. Harman)
₹8,014
Feldbussysteme in Der PRAXIS (English, Birgit Scherff | Erwin Haese | Hagen R. Wenzek)
₹3,623
Rotodynamic Pump Design (English, R. K. Turton)
₹5,705