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

• Authors: Luo - Zhaohui Luo - Zhaohui
• ISBN 10: 0198538359
• ISBN 13: 9780198538356
• Release: May 12, 1994
• Format: Hardcover (240 pages)
• List Price: $112.00
• More Details
  
  

  List Price: $112.00

  Tags: Computers & Internet, General,

  Book Description:
  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.

Filter By Condition

  Used
  New
  Rental
  eBooks
  International
  Local Options

Search By Location

Rental Term

Summer Quarter Semester

Show Prices

Lower to higher Higher to Lower

  Apply Coupons
  Apply Sales Tax (estimate)

Add To My Bookbag Tweet Alert Sell Donate Contact Us

• Home
• Buy Textbooks
• Rent Textbooks
• Sell Textbooks
• New & Used Rental Buyback

Bookbag () | College Textbooks

• • Buy Cheap Textbooks
  • Sell Used Textbooks
  • Browse Textbooks
  • Textbook Information
  • Donate Your Books
• • My Bookbag
  • My Account
  • Price Alerts
  • Track Order
  • Help
• • SmartPhone Apps
  • Bookmark Us
  • Tell A Friend
  • Campus Bookstore Directory
• • Textbook Blog
  • Mobile & Local
  • Press
  • Affiliates
  • Feedback

Content Copyright © 1999-2013 Terms and Conditions of Use, Security and Privacy Policy | Resources: 1 2 3 | Site Map