BookShops.in
Computation and Reasoning - A Type Theory for Computer Science (English, Zhaohui Luo | Zhaohui Luo)-52% OFF
Computers & Internet

Computation and Reasoning - A Type Theory for Computer Science (English, Zhaohui Luo | Zhaohui Luo)

By Zhaohui Luo | Zhaohui LuoOUP Oxford
₹4,079₹8,508Save 52%

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-139780198538356
ISBN-100198538359

Product Description

About the Book

This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning. The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from an introduction of the basi…

ISBN: 9780198538356

Frequently Asked Questions

What is the price of Computation and Reasoning - A Type Theory for Computer Science?
Computation and Reasoning - A Type Theory for Computer Science is available at ₹4,079 on BookShops.in.
Does BookShops.in offer free delivery for Computation and Reasoning - A Type Theory for Computer Science?
FREE delivery on all orders for Computation and Reasoning - A Type Theory for Computer Science.
Is Cash on Delivery available for Computation and Reasoning - A Type Theory for Computer Science?
Yes, Cash on Delivery (COD) is available for Computation and Reasoning - A Type Theory for Computer Science on BookShops.in. Pay when your order arrives.
What is the return policy for Computation and Reasoning - A Type Theory for Computer Science?
BookShops.in offers a 15-day hassle-free return policy for Computation and Reasoning - A Type Theory for Computer Science. Contact us at support@bookshops.in or call +91 81899 68108.
Is Computation and Reasoning - A Type Theory for Computer Science authentic?
Computation and Reasoning - A Type Theory for Computer Science is listed on BookShops.in after verification of product details including ISBN, title, and availability information.

Related Products

View All
Buy Shaping Membership, Defining Nation (English, Pashington Obeng) — BookShops.in-62%

Computers & Internet

Shaping Membership, Defining Nation (English, Pashington Obeng)

₹5,346₹14,214
Buy Restorative Justice (English, Marian Liebmann) — BookShops.in

Computers & Internet

Restorative Justice (English, Marian Liebmann)

₹5,512
Buy Domestic Life in Prehispanic Capitals (English, Linda R. Manzanilla | Claude Chapdelaine) — BookShops.in

Computers & Internet

Domestic Life in Prehispanic Capitals (English, Linda R. Manzanilla | Claude Chapdelaine)

₹2,029
Buy Diccionario de estudios culturales latinoamericanos (English, Mónica Szurmuk | Robert McKee Irwin) — BookShops.in

Computers & Internet

Diccionario de estudios culturales latinoamericanos (English, Mónica Szurmuk | Robert McKee Irwin)

₹3,579
Buy Developing and Validating Rapid Assessment Instruments (English, Neil Abell) — BookShops.in

Computers & Internet

Developing and Validating Rapid Assessment Instruments (English, Neil Abell)

₹4,234
Buy A "Splendid Idiosyncrasy" (English, Pamela Jane Smith) — BookShops.in-26%

Computers & Internet

A "Splendid Idiosyncrasy" (English, Pamela Jane Smith)

₹5,424₹7,285