-59% OFFCambridge University Press
Linear Logic in Computer Science (English, Thomas Ehrhard | Jean-Yves Girard | Paul Ruet)
₹4,331₹10,455Save 59%
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵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
Book Details
| ISBN-13 | 9780521608572 |
| ISBN-10 | 0521608570 |
Product Description
About the Book
Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised…
ISBN: 9780521608572
Frequently Asked Questions
What is the price of Linear Logic in Computer Science?
Linear Logic in Computer Science is available at ₹4,331 on BookShops.in.
Does BookShops.in offer free delivery for Linear Logic in Computer Science?
FREE delivery on all orders for Linear Logic in Computer Science.
Is Cash on Delivery available for Linear Logic in Computer Science?
Yes, Cash on Delivery (COD) is available for Linear Logic in Computer Science on BookShops.in. Pay when your order arrives.
What is the return policy for Linear Logic in Computer Science?
BookShops.in offers a 15-day hassle-free return policy for Linear Logic in Computer Science. Contact us at support@bookshops.in or call +91 81899 68108.
Is Linear Logic in Computer Science authentic?
Linear Logic in Computer Science is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
