Arts, Film & Photography
Typed Lambda Calculi and Applications (English, Mariangiola Dezani-Ciancaglini | Gordon Plotkin)
₹5,666
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Quantity:
1
Free DeliveryOn orders above ₹499
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
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
Frequently Asked Questions
What is the price of Typed Lambda Calculi and Applications?
Typed Lambda Calculi and Applications is available at ₹5,666 on BookShops.in.
Does BookShops.in offer free delivery for Typed Lambda Calculi and Applications?
BookShops.in offers free delivery on orders above ₹499. For Typed Lambda Calculi and Applications, if your order total is below ₹499, a flat shipping fee of ₹49 applies.
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 BookShops.in. Pay when your order arrives.
What is the return policy for Typed Lambda Calculi and Applications?
BookShops.in offers a 15-day hassle-free return policy for Typed Lambda Calculi and Applications. Contact us at info@bookshops.in or call +91 99446 78357.
Is Typed Lambda Calculi and Applications authentic?
Typed Lambda Calculi and Applications is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Related Products
View All
Arts, Film & Photography
In Their Own Words (English, C. Christine Fair)
₹4,768
★ 5.0
-74%Arts, Film & Photography
The Theory of the Riemann Zeta-Function (English, E. C. Titchmarsh | D. R. Heath-Brown | D. R. Heath-Brown)
₹4,558₹17,669
★ 4.7
-76%Arts, Film & Photography
Convective Boiling and Condensation (English, Thome Collier | John R. Thome | John G. Collier)
₹4,206₹17,343
★ 4.8
-59%Arts, Film & Photography
Revision Notes for the Mrcog Part 1 (English, Arisudhan Anantharachagan | Ippokratis Sarris | Austin Ugwumadu)
₹4,122₹9,961
★ 4.3
Arts, Film & Photography
Continuity Supervisor (English, Avril Rowlands)
₹4,452
★ 4.3
-72%Arts, Film & Photography
Switchmode Power Supply Handbook 3/E (English, Keith Billings | Taylor Morey)
₹5,292₹19,060
★ 4.5