Computation and Reasoning A Type Theory for Computer Science 11 International Series of Monographs on Computer Science
In stock
Smart shoppers OnBuy it!
- Earn Cashback on every purchase – spend it instantly on your next order
- Free delivery – on millions of items across the site
- Customers love us – 135,000 Trustpilot reviews and an 'Excellent' rating
Interest-free payment options available
See full product description & details
Delivery: Standard (Free) | Wed 7th - Fri 9th Oct
Sold by: Ria Christie Collections
Returns: 30 days
180-day payment protection
Computation and Reasoning A Type Theory for Computer Science 11 International Series of Monographs on Computer Science Description
Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.
Details
| OPC | PDHSTQX |
|---|---|
| Codes | 0198538359 (ISBN-10) |
| 9780198538356 (ISBN) |
Disclaimer: The information below is provided by various external sources and should be used as a guide only.
The book develops a type theory studies its properties and explains its uses in applications to computer science. In particular it shows 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 introducing the basic concepts the author explains intuitively the meaning and use of the type-theoretic language with proof-theoretic justifications and discusses various issues in the study of type theory. The pragmatic use of the language is illustrated by developing an approach to specification and data refinement in type theory which supports modular development of spcdifications programs and proofs.
The book develops a type theory studies its properties and explains its uses in applications to computer science. In particular it shows 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 introducing the basic concepts the author explains intuitively the meaning and use of the type-theoretic language with proof-theoretic justifications and discusses various issues in the study of type theory. The pragmatic use of the language is illustrated by developing an approach to specification and data refinement in type theory which supports modular development of spcdifications programs and proofs.
Alternative names:
- ISBN Computation and Reasoning ( A Type Theory for Computer Science ) book
- ISBN Computation and Reasoning ( A Type Theory for Computer Science ) book
Detailed Product Information
Features
| Release date (DD/MM/YYYY) | 31/03/1994 |
|---|---|
| Written by | Zhaohui Luo |
| Publisher | Oxford University Press |
| Suggested gender | Any gender |
| International Standard Book Number (ISBN) | 9780198538356 |
Compare Sellers for Computation and Reasoning A Type Theory for Computer Science 11 International Series of Monographs on Computer Science
- New from £134.53
| Seller | Ratings | Warranty | Returns | Price | Delivery | Total | Quantity |
|---|---|---|---|---|---|---|---|
| (207 reviews) | - |
30 Days
Free Returns No
|
£134.53
|
+Free Delivery
Est. Delivery:
7th-9th Oct
|
£134.53
|
Earn as you shop with instant Cashback on everything.
No catch, no cost
- Paid into your OnBuy account
- Spend it on your next purchase
- Save it or withdraw it
Become a Cashback VIP
Just 1 purchase unlocks bigger deals & rates