Computation and Reasoning - A Type Theory for Computer Science

by Zhaohui Luo

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...

• Format: Hardcover
• Language: English
• ISBN: 0198538359
• ISBN13: 9780198538356
• Release Date: May 1994
• Publisher: Clarendon Press
• Length: 240 Pages
• Weight: 1.22 lbs.
• Dimensions: 0.8" x 6.4" x 9.5"