Items related to Computation and Reasoning: A Type Theory for Computer...
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science) - Hardcover
Synopsis
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.
- PublisherClarendon Press
- Publication date1994
- ISBN 10 0198538359
- ISBN 13 9780198538356
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages240
Search results for Computation and Reasoning: A Type Theory for Computer...
Stock Image
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_414231946
Quantity: 1 available
Stock Image
Computation and Reasoning: A Type Theory for Computer Science
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-595-580
Quantity: 1 available
Stock Image
Computation and Reasoning: A Type Theory for Computer Science
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-551-499
Quantity: 1 available
Seller Image
Computation and Reasoning : A Type Theory for Computer Science
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 640821-n
Quantity: Over 20 available
Stock Image
Computation and Reasoning - A Type Theory for Computer Science: 11 (International Series of Monographs on Computer Science)
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780198538356
Quantity: Over 20 available
Stock Image
Computation and Reasoning - A Type Theory for Computer Science: 11 (International Series of Monographs on Computer Science)
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780198538356
Quantity: Over 20 available
Stock Image
Computation and Reasoning (Hardcover)
Published by
Oxford University Press, Oxford, 1994
ISBN 10: 0198538359
ISBN 13: 9780198538356
New
Hardcover
Seller: AussieBookSeller, Truganina, VIC, Australia
Seller rating 3 out of 5 stars
Hardcover. Condition: new. Hardcover. 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 thebasic 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. Thepragmatic 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9780198538356
Quantity: 1 available
Stock Image
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780198538356_new
Quantity: Over 20 available
Seller Image
Computation and Reasoning : A Type Theory for Computer Science
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 640821-n
Quantity: Over 20 available
Stock Image
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2215580042989
Quantity: Over 20 available