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
Analyzing Health Equity Using Household Survey Data (English, Owen O'Donnell | Eddy Van Doorslaer | Adam Wagstaff)
₹2,599
Angstdiagnostik (English, Jürgen Hoyer | Jürgen Margraf)
₹5,330
A-Z of Musculoskeletal and Trauma Radiology (English, James R. D. Murray | Erskine J. Holmes | Rakesh R. Misra)
₹14,903
Real-World Applications of Evolutionary Computing (English, Stefano Cagnoni | Riccardo Poli | George D. Smith)
₹5,580
Rotodynamic Pump Design (English, R. K. Turton)
₹5,705
The Evolution of Conceptual Modeling (English, Roland Kaschek | Lois M. L. Delcambre)
₹5,822Related Products
The Cambridge Companion to Vygotsky (English, Harry Daniels | Michael Cole | James V. Wertsch)
₹4,540
Galactic and Intergalactic Magnetic Fields (English, R. Beck | P. P. Kronberg | R. Wielebinski)
₹15,094
Sieve Methods, Exponential Sums, and Their Applications in Number Theory (English, G. R. H. Greaves | G. R. H. Greaves | G. Harman)
₹8,014
Neural Network Modeling (English, P. S. Neelakanta | Dolores Degroff)
₹23,693
Neurovascular Neuropsychology (English, Joanne Festa | J. P. Mohr | Ronald Lazar)
₹22,489