Computation and Reasoning A Type Theory for Computer Science

Name: Computation and Reasoning A Type Theory for Computer Science
Price: 80.4 USD
Availability: InStock
ISBN: 9780198538356

ISBN-10: 0198538359

ISBN-13: 9780198538356

Edition: 1994

Authors: Zhaohui Zhaohui Luo

List price: $105.00

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Buy new: $80.40

Marketplace

2 new & used from $108.42

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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…

Book details

List price: $105.00
Copyright year: 1994
Publisher: Oxford University Press, Incorporated
Publication date: 5/12/1994
Binding: Hardcover
Pages: 240
Size: 6.14" wide x 9.21" long x 0.75" tall
Weight: 1.232
Language: English



Preface



Introduction



The extended calculus of constructions



Basic meta-theoretic properties



Strong normalisation



The internal logic and decidability



A set-theoretic model



Computational and logical theories



Specification and development of programs



Towards a unifying theory of dependent types


Bibliography


Notation and symbols


Index