Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)

4 avg rating
( 1 ratings by Goodreads )
 
9780198538356: Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)

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 basic concepts, the author explains the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues in the study of type theory. The practical use of the language is illustrated by developing an approach to specification and data refinement in type theory, which supports modular development of specification, programs, and proofs. Students and researchers in computer science and logic will welcome this exciting new book.

"synopsis" may belong to another edition of this title.

About the Author:

Zhaohui Luo is at JCMB, Edinburgh.

Review:


"The best logic of our time is to be found in computer science departments....Computer scientists (many of whom are former logicians) are developing the logic that really matters, the one that really meets the challenges of today's demands for automated reasoning. This book is a prime example of such triumph of useful logic." --The Bulletin of Mathematics Books


"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Luo, Zhaohui
Published by Clarendon Press (1994)
ISBN 10: 0198538359 ISBN 13: 9780198538356
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Clarendon Press, 1994. HRD. Book Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IP-9780198538356

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 70.88
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

2.

Luo, Zhaohui
Published by OUP Oxford (2016)
ISBN 10: 0198538359 ISBN 13: 9780198538356
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description OUP Oxford, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9780198538356_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 71.88
Convert Currency

Add to Basket

Shipping: US$ 5.23
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Zhaohui Luo
Published by Clarendon Press (1994)
ISBN 10: 0198538359 ISBN 13: 9780198538356
New Hardcover Quantity Available: 5
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Clarendon Press, 1994. Hardcover. Book Condition: New. Bookseller Inventory # INGM9780198538356

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 70.89
Convert Currency

Add to Basket

Shipping: US$ 8.99
Within U.S.A.
Destination, Rates & Speeds

4.

Zhaohui Luo
Published by Clarendon Press (2017)
ISBN 10: 0198538359 ISBN 13: 9780198538356
New Hardcover Quantity Available: > 20
Print on Demand
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Clarendon Press, 2017. Hardcover. Book Condition: New. Never used! This item is printed on demand. Bookseller Inventory # 0198538359

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 77.96
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

5.

Luo, Zhaohui
Published by Clarendon Press (1994)
ISBN 10: 0198538359 ISBN 13: 9780198538356
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Clarendon Press, 1994. HRD. Book Condition: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Bookseller Inventory # IP-9780198538356

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 69.22
Convert Currency

Add to Basket

Shipping: US$ 12.16
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Zhaohui Luo
Published by Oxford University Press, United Kingdom (1994)
ISBN 10: 0198538359 ISBN 13: 9780198538356
New Hardcover Quantity Available: 10
Print on Demand
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Oxford University Press, United Kingdom, 1994. Hardback. Book Condition: New. Language: English . Brand New Book ***** Print on Demand *****. 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. Bookseller Inventory # APC9780198538356

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 82.26
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Zhaohui Luo
Published by Oxford University Press, United Kingdom (1994)
ISBN 10: 0198538359 ISBN 13: 9780198538356
New Hardcover Quantity Available: 10
Print on Demand
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Oxford University Press, United Kingdom, 1994. Hardback. Book Condition: New. Language: English . Brand New Book ***** Print on Demand *****.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. Bookseller Inventory # APC9780198538356

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 82.29
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Zhaohui Luo
Published by OUP Oxford
ISBN 10: 0198538359 ISBN 13: 9780198538356
New Hardcover Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description OUP Oxford. Hardcover. Book Condition: New. Hardcover. 240 pages. Dimensions: 9.5in. x 6.4in. x 0.8in.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 basic concepts, the author explains the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues in the study of type theory. The practical use of the language is illustrated by developing an approach to specification and data refinement in type theory, which supports modular development of specification, programs, and proofs. Students and researchers in computer science and logic will welcome this exciting new book. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Hardcover. Bookseller Inventory # 9780198538356

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 84.96
Convert Currency

Add to Basket

Shipping: US$ 3.95
Within U.S.A.
Destination, Rates & Speeds

9.

Zhaohui Luo
Published by Clarendon Press (1994)
ISBN 10: 0198538359 ISBN 13: 9780198538356
New Hardcover First Edition Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Clarendon Press, 1994. Hardcover. Book Condition: New. book. Bookseller Inventory # M0198538359

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 89.77
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

10.

Zhaohui Luo
ISBN 10: 0198538359 ISBN 13: 9780198538356
New Quantity Available: > 20
Print on Demand
Seller:
BWB
(Valley Stream, NY, U.S.A.)
Rating
[?]

Book Description Book Condition: New. This item is Print on Demand - Depending on your location, this item may ship from the US or UK. Bookseller Inventory # POD_9780198538356

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 92.15
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book